|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens$ v0 I: q. @5 ~6 j8 d; T6 c
P --> Q, 因為 P 所以 Q0 ]' m" {* |: c. v8 p
' M6 Y& k/ ?+ u1 iModus tollendo tollens& X" O1 L8 y! K* b5 E1 H" q( \
P --> Q, 取得 ~P 所以 ~Q9 t2 O7 n# ?# h5 {* g' k
: p8 B$ Z& y2 S& x
Disjunctive syllogism9 W1 |% ?" P3 ^! V8 l
P or Q, 取得 ~P 所以 Q
4 e) z' f8 y5 g, G. V) CP or Q, 取得 ~Q 所以 P6 j: q* ~" f+ M6 k3 @+ z
* b1 P3 X* f% W6 {/ S' C
Conjunctive syllogism
- H3 H/ H8 r0 ^8 ]: e~(P & Q), 取得 P 所以 ~Q3 i% d0 |0 c7 K' ?. R- L; t3 u
~(P & Q), 取得 Q 所以 ~P4 n& E c% Q' E; b* {, g
|9 L! \" B. M G# b" ^( eHypothetical syllogism
7 e d3 t+ C$ a5 ^7 H8 B$ j: tP --> Q, 取得 Q --> R 所以 P --> R
. S8 g, ^& S* i# u1 i3 O; y7 w W- a" }+ Z0 E# P. J$ a
De Morgan's theorem& R% K7 m* z5 ?
~(P & Q) 所以 ~P or ~Q
- p: F5 N( |4 r7 P~(P or Q) 所以 ~P & ~Q |
|