数理論理学（数学基礎論） その12

[0075 １３２人目の素数さん 2017/12/10(日) 07:55:15.20 ID:qBs23idJ]

[PならばQ]を[Pでないか又はQ]と同値であると考えたのが、そもそもの誤り。