|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens: G/ r+ B0 n# C- q
P --> Q, 因為 P 所以 Q
1 d2 I. B7 ~8 X2 D" Q$ ^
( z5 k/ P' T# s4 z8 E# K ^Modus tollendo tollens
% K, D" l0 ^! n+ wP --> Q, 取得 ~P 所以 ~Q& q! D" }: H) ]/ }
7 I9 p+ z, s) f5 \Disjunctive syllogism
, h% j) ^$ ]: K2 v; n, R5 Z) U$ \1 `8 oP or Q, 取得 ~P 所以 Q
: H0 t1 P) V& ?0 z) T$ h* n2 TP or Q, 取得 ~Q 所以 P
. ~' Z( x; [6 F5 e5 q) j0 A0 y8 e' q% K
Conjunctive syllogism
; D# Y8 `6 A5 I/ n! E) r1 L~(P & Q), 取得 P 所以 ~Q
6 T. `) W K+ Q+ b* w }% G' ^~(P & Q), 取得 Q 所以 ~P) p7 |% B4 i) ?, e
" y9 ?7 v# m+ x
Hypothetical syllogism+ H+ n, R) N; \# j
P --> Q, 取得 Q --> R 所以 P --> R
; M! Q) A" z) j$ D. L/ r+ F" h9 Z' u# o& v6 w; u" \" z, R
De Morgan's theorem
v' o8 M/ K! U" b/ i3 e~(P & Q) 所以 ~P or ~Q8 ] t! ^ P: n3 v
~(P or Q) 所以 ~P & ~Q |
|