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

[0174 １３２人目の素数さん 2017/12/26(火) 05:06:31.85 ID:RINCUC+5]

>>!70
「命題と述語の区別をつけて、量化記号の使い方を学べば済む話」と思うのは、
早がってんだ。
量化記号を使えば、∀p,q{∀x[Ｐ(ｘ) ⊃Ｑ(ｘ)]ｖ[Ｑ(ｘ) ⊃Ｐ(ｘ)]
となり、これは恒真だからだ。