逆

命題「p⇒q」に対して、「q⇒p」を、元の命題の逆（ぎゃく、英: converse）と言う。ある命題とその逆の真偽は、必ずとも一致しない（逆は必ずしも真ならず）。