- 数理論理学(数学基礎論) その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)) .
|
|