     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens& X" D% A5 j* \+ P5 I) H: x1 M
P --> Q, 因為 P 所以 Q9 j0 y4 @! z: v8 \7 l {* Z2 V
1 z! |" W) ?. P! {: v& e* PModus tollendo tollens0 G. U0 M! I& o* ?- b! E
P --> Q, 取得 ~P 所以 ~Q
) a3 e! _9 [# J9 X+ l: F) h( c! k
E7 Z- Q% t/ c4 {+ x% b+ ^Disjunctive syllogism
; u4 i5 @) M5 bP or Q, 取得 ~P 所以 Q# g" @1 r7 \/ y' m! E
P or Q, 取得 ~Q 所以 P5 k- U- f) w6 {% G
) ^8 n7 e( {- U, n/ P" j) n( @) T: i
Conjunctive syllogism$ c6 n) U5 r/ C1 m; g
~(P & Q), 取得 P 所以 ~Q) i# {& P2 ?7 Z5 ~- V2 ?
~(P & Q), 取得 Q 所以 ~P
7 j& b* x8 E% [' a: J
, i2 A4 |/ S; sHypothetical syllogism3 P3 ?: s+ b; W9 f a9 n+ C% X
P --> Q, 取得 Q --> R 所以 P --> R
1 I- y0 M& j; o- j' d9 U
: w5 d+ j9 @5 ?6 l# oDe Morgan's theorem& K. m/ z* Y' K8 p. X2 K
~(P & Q) 所以 ~P or ~Q2 N- x4 k) v5 a, A
~(P or Q) 所以 ~P & ~Q |
|