トップページ > 数学 > 2018年05月17日 > oVgEyO5c

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

20 位/82 ID中時間01234567891011121314151617181920212223Total
書き込み数0001000000000001000000002



使用した名前一覧書き込んだスレッド一覧
132人目の素数さん
数理論理学(数学基礎論) その12

書き込みレス一覧

数理論理学(数学基礎論) その12
813 :132人目の素数さん[]:2018/05/17(木) 03:14:16.92 ID:oVgEyO5c
かつて C I Lewis は、material implication(実質的内含)は真の implication ではない
ことを次の例によって示した:−

(P⊃Q)v(Q⊃P)は恒真式である。と言うことは、任意の二つの命題P、Qについて、
一方が他方を内含(materially imply)するということである。真の内含であるかぎりそんな
ことはありえない!
数理論理学(数学基礎論) その12
818 :132人目の素数さん[]:2018/05/17(木) 15:43:13.83 ID:oVgEyO5c
"if P(x) then Q(x)" is defined to mean ∀x(〜P(x)vQ(x)) .


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