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

[0088 １３２人目の素数さん 2018/08/22(水) 13:00:20.33 ID:58tPTQYS]

>> 84
＞「PならばQ」の真偽値なんて「つくる」の典型だよな

「PならばQ」が真理表で定義できると考えるのは、愚の骨頂である。

http://www.age.ne.jp/x/eurms/Ronri_Kaikaku.html