现代逻辑的一个分支。研究有关命令的逻辑问题的学说。其内容包括：命令的逻辑特征，命令的预设，命令的真值和服从值（服从、不服从），根据命令和服从的关系进行的推理，把命令化为将来时态命题进行的推理等。