対偶
#Fleeting_Notes
対偶(Contraposition)
$ P \to Q
のPとQを入れ替えて、それぞれ否定したもの
$ P \to Q
↓ PとQの入れ替え、PとQを否定(
$ \lnot
)
$ \lnot Q \to \lnot P
確認用
Q. 対偶
関連
逆・裏・対偶
調査用
Google.icon
対偶(日)
Google.icon
Contraposition(英)
Wikipedia.icon
対偶 - Wikipedia(日)
対偶(検索) - Wikipedia(日)
Wikipedia.icon
Contraposition - Wikipedia(英)
Contraposition(検索) - Wikipedia(英)