|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens" B# |/ N% `8 w6 ]( z% G
P --> Q, 因為 P 所以 Q" S9 L1 g. W" c) c" ]
/ k5 ]( x# }; N" h$ `Modus tollendo tollens+ t4 N0 K. Z* n4 j5 m! `
P --> Q, 取得 ~P 所以 ~Q
4 C O! x+ {$ N' j: @. c; R, G& b2 v+ Z. S" ~ i* }8 ?( n, }
Disjunctive syllogism
7 t u7 w% v3 w& `0 W1 eP or Q, 取得 ~P 所以 Q) D5 h$ i* \$ s3 f. S
P or Q, 取得 ~Q 所以 P" l2 t9 i7 K0 ?6 m) F
) r+ g' k+ ?4 a! HConjunctive syllogism. K2 e" W, G2 @" o m1 `$ K0 f
~(P & Q), 取得 P 所以 ~Q
8 a' j( n; g2 t' |2 o~(P & Q), 取得 Q 所以 ~P
# [, F. ]$ v- f- ?* @; Z, I8 ~5 S$ P' F, \
Hypothetical syllogism
" p6 @" d( p" \! a6 T6 v8 ^# M( vP --> Q, 取得 Q --> R 所以 P --> R. C: k& z/ D5 d% r# {+ ~
) Z" C+ {: B7 sDe Morgan's theorem
: @0 \) ^, `4 ?6 ]" r' t~(P & Q) 所以 ~P or ~Q& P" {+ H0 ]# D: \* I1 g
~(P or Q) 所以 ~P & ~Q |
|
