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