|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens: r5 N4 Q/ u) g/ A' ~$ V T
P --> Q, 因為 P 所以 Q
; c. V; b9 l8 n* q( e, ^7 i4 C5 t' |. b/ x
Modus tollendo tollens
& y! O" {1 d9 X2 SP --> Q, 取得 ~P 所以 ~Q9 k, \1 a+ ]/ |7 f+ ^' J' h" Z; M( v
1 E& ~& P8 ]' k6 R/ w: p7 u
Disjunctive syllogism
$ k1 g- ?* v9 H1 W8 W! R( F8 D% v5 y% aP or Q, 取得 ~P 所以 Q& \6 F" ?+ ~. E( d; ^
P or Q, 取得 ~Q 所以 P
" ]6 w5 r; v8 Z* m/ y
7 X+ q4 [2 ^5 v: q- Y5 v' ?9 M0 @Conjunctive syllogism
2 p. J5 K+ g; a: N" r' L~(P & Q), 取得 P 所以 ~Q& g; e7 c* Z4 M$ X
~(P & Q), 取得 Q 所以 ~P
% C5 g' o# g) N5 P( k% ?
9 `3 n4 @' e# A; [7 Y& NHypothetical syllogism
) T- i* B0 |. c* x) ZP --> Q, 取得 Q --> R 所以 P --> R
- `/ E7 u/ S; z3 w7 c, S! Y2 l! G. L+ K) ~% i
De Morgan's theorem
- c/ G4 E' R* ?9 P0 G# Y* ?~(P & Q) 所以 ~P or ~Q. t6 ]/ u" K: c# R }- G8 `; w
~(P or Q) 所以 ~P & ~Q |
|