     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens4 v7 x& N: `2 G. W( }
P --> Q, 因為 P 所以 Q
! \% a* b* g1 l% p, j5 I! @6 I& T; x; d: N) e
Modus tollendo tollens
7 p$ }. X% n2 e4 M- H; yP --> Q, 取得 ~P 所以 ~Q, Z# U% E/ v* b
' Z' P5 [. E# `: V9 p+ B' k
Disjunctive syllogism! }; f% q# U) D; R' m
P or Q, 取得 ~P 所以 Q
- x3 D S" I5 ]/ ]P or Q, 取得 ~Q 所以 P
. O9 _3 S0 `! |' I/ r4 b, C1 A8 L
3 ~( d# J- o0 v' e" \9 Q; CConjunctive syllogism
5 s' j. U$ S0 h9 L( w~(P & Q), 取得 P 所以 ~Q
( D7 [) z+ l( ~2 Z) @+ @( i~(P & Q), 取得 Q 所以 ~P9 t; ?% \9 k6 b- X u6 `/ _+ `
$ `' f [) s" y4 R6 [4 ]0 s8 x
Hypothetical syllogism& Q. g$ V& I2 F8 p4 Q
P --> Q, 取得 Q --> R 所以 P --> R
9 S4 S4 [& L3 I* c( B
! ]6 ^( F. w! O& s; MDe Morgan's theorem- y. u L7 ^# r7 o
~(P & Q) 所以 ~P or ~Q
9 U) S8 d) z$ x' w4 @$ P2 M6 U~(P or Q) 所以 ~P & ~Q |
|