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

[0058 １３２人目の素数さん 2017/12/05(火) 04:09:03.21 ID:PFXdnjCK]

z>>5
F(P,Q) ⊃ g (P,Q) が tautology だからって、「F(P,Q) ならば g (P,Q」が
必ずしも成立するわけではないってことさ。