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

[0243 識者 2017/12/28(木) 07:06:00.57 ID:c0s4pafK]

"P ならば Q である"と言ったとき、P, Q の正体は「変項をおなじくする述語」であって、
命題ではないのです。だから、それらに真偽などありません。