|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens+ h8 s& e/ k- y U( T. B7 f
P --> Q, 因為 P 所以 Q" w+ T. x( y8 k' t* F" ?, y
3 H+ a9 u8 M3 \ V
Modus tollendo tollens
5 s4 g% D/ {! T' c8 d1 SP --> Q, 取得 ~P 所以 ~Q7 o+ P% {. H7 K: E
+ w1 F. l- ~% t a% R. Q% z* y( X
Disjunctive syllogism+ q' ^- Q8 l$ o& j7 O7 E
P or Q, 取得 ~P 所以 Q. q9 h7 F2 G: K/ d9 ~; i" f' s
P or Q, 取得 ~Q 所以 P
+ z4 g. s- J; g: }7 S: u. S; \& Z. l u! O) h7 n3 _% M. ^
Conjunctive syllogism& N- V$ n6 a+ N# E4 s, p
~(P & Q), 取得 P 所以 ~Q
! m3 F: y* z) E; q~(P & Q), 取得 Q 所以 ~P' C% j( g3 Y; X9 N' F
: }8 |% n0 d" C" f3 T$ L! I S2 x8 eHypothetical syllogism
, k# t. K' J0 XP --> Q, 取得 Q --> R 所以 P --> R0 B- H- c& J" D' q
. G* E @8 ~, W, a
De Morgan's theorem
7 h$ A( O/ ^4 i0 A) J, m$ |" X~(P & Q) 所以 ~P or ~Q
7 P1 k0 D$ m' ^7 H5 g~(P or Q) 所以 ~P & ~Q |
|