裏(論理学)

Inverse

裏の命題「PでなければQではない」は、記号で表すと以下のようになる。

$ \lnot P \implies \lnot Q

よく「PならばQである」が成り立つならば「PでなければQではない」も成り立つと思われているが正しくない。