読み:ぎゃく
外語:converse

 P⇒Qという命題に対して、Q⇒Pのこと。
 命題(P⇒Q)が真であっても、逆命題(Q⇒P)が必ずしも真とは限らない。例えばx=0、xy=0という順命題の時、xy=0だからといってx=0とは限らない。これを「逆は必ずしも真ならず」といい、論理学の基本とする。

再検索