contrapose(Lean)
contrapose
Lean
で
対偶
を取るタクティク
contrapose: 対偶をとる - Lean by Example
$ P \to Q
↓
$ \lnot Q \to \lnot P
確認用
Q. contrapose(Lean)
調査用
Google.icon
contrapose Lean(日)
Google.icon
contrapose Lean(英)