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

[0466 １３２人目の素数さん 2018/11/07(水) 18:33:45.86 ID:Mu9DzDzn]

>>415
＞>>413
＞直観主義でも
＞Q→(P→Q)
＞は恒真なんだけど？

「恒真式」即「論理法則」と考えるのは間違い。