     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens4 P( X5 l' g0 }/ r3 ?
P --> Q, 因為 P 所以 Q) @+ j+ h, `" j8 o7 ?
4 s5 I4 T2 S4 Y, E5 S
Modus tollendo tollens0 d( B! S( p/ [8 k0 D9 A
P --> Q, 取得 ~P 所以 ~Q* B. i9 x2 w; H# h1 ~, l6 ~1 c
% h& ]) i6 {; M0 A- m; b4 cDisjunctive syllogism8 J/ W, r+ q) }& y7 y
P or Q, 取得 ~P 所以 Q
d8 r: }) [7 j3 R4 e0 W, \P or Q, 取得 ~Q 所以 P
& d2 I( [! e. k6 y0 V, s# b9 O# L
Conjunctive syllogism5 ]6 k5 f# X! ?+ _7 z" T
~(P & Q), 取得 P 所以 ~Q
+ b6 m! f$ O( P/ i~(P & Q), 取得 Q 所以 ~P
2 ?. S7 m# ]# j2 N+ l3 F4 ~( q7 g7 A
Hypothetical syllogism E0 Z4 L! L8 T; [9 g' l
P --> Q, 取得 Q --> R 所以 P --> R8 o/ c4 L8 Z" n1 O y; ^4 {
- n5 `8 i& @/ l. P' n0 O- ODe Morgan's theorem6 n; `6 ?' t, y
~(P & Q) 所以 ~P or ~Q
+ }. ~6 o$ k; D! h: p~(P or Q) 所以 ~P & ~Q |
|