裏

P⇒Qという命題に対して、¬P⇒¬Qのこと。PでないならばQでない。

真に対する裏と同様に、裏命題が真だからといってもその裏まで真とは限らない。但し、逆の裏、つまり対偶は、常に順命題と真偽が一致する。