命令論理
命令論理(めいれいろんり、英: Imperative logic)は、命令文に関する論理学の一分野である。命令文は命題を表すのか。あるいは、より一般的に、真偽は命令論理の意味論においてどんな役割を果たすのか。平叙文の場合とは対照的に、こうしたことはまったく明らかではない。それゆえ、命令論理のどんな側面についても、意見の一致はほとんど見られない。