トップページ > 数学 > 2017年12月05日 > PFXdnjCK

書き込み順位＆時間帯一覧

21 位/81 ID中時間01234567891011121314151617181920212223Total
書き込み数0000200000000000000000002



使用した名前一覧書き込んだスレッド一覧
１３２人目の素数さん
数理論理学（数学基礎論）　その12

書き込みレス一覧

数理論理学（数学基礎論）　その12
57 ：１３２人目の素数さん[]：2017/12/05(火) 04:03:19.61 ID:PFXdnjCK
z>>5
F(P,Q) ⊃ g ( p, p) が tautology だからって、「F(P,Q) ならば g ( p, p) 」が
必ずしも成立するわけではないってことさ。
数理論理学（数学基礎論）　その12
58 ：１３２人目の素数さん[]：2017/12/05(火) 04:09:03.21 ID:PFXdnjCK
z>>5
F(P,Q) ⊃ g (P,Q) が tautology だからって、「F(P,Q) ならば g (P,Q」が
必ずしも成立するわけではないってことさ。


※このページは、『２ちゃんねる』の書き込みを基に自動生成したものです。オリジナルはリンク先の２ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合はメールをしてください。対応します。