18/06/13 05:48:28.17 kwwukDpV.net
>>859 いかなる人物を入れても、P→Qと¬P∨Qの真理値は一致する
P→Qを¬P∨Qと定義したのならならそのとおりだ。
問題は、P→Qを¬P∨Qと定義すべきではないと主張しているのだ、ｗ
18/06/13 05:48:28.17 kwwukDpV.net
>>859 いかなる人物を入れても、P→Qと¬P∨Qの真理値は一致する
P→Qを¬P∨Qと定義したのならならそのとおりだ。
問題は、P→Qを¬P∨Qと定義すべきではないと主張しているのだ、ｗ