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

[0859 １３２人目の素数さん 2018/06/13(水) 05:48:28.17 ID:kwwukDpV]

>>856 いかなる人物を入れても、P→Qと¬P∨Qの真理値は一致する

P→Qを¬P∨Qと定義したのならならそのとおりだ。
問題は、P→Qを¬P∨Qと定義すべきではないと主張しているのだ、ｗ