|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
2 u6 c+ }1 ^) b/ W, J$ {, I( YP --> Q, 因為 P 所以 Q" n% S. D7 P$ F
" ^# Y; J7 r7 q M" E; v; K8 NModus tollendo tollens" @; L+ U5 @' j7 |% K5 u
P --> Q, 取得 ~P 所以 ~Q4 M$ t' {/ Q z
: G K; N' Y; S/ b1 O( T
Disjunctive syllogism
0 o* W( [9 A! ]+ @6 @6 o% gP or Q, 取得 ~P 所以 Q. d# e4 @, e0 f& V O8 l' N% u' ?
P or Q, 取得 ~Q 所以 P
& O* C- j2 |3 A9 ?: ~7 b+ t( B' g" L1 j8 {8 V
Conjunctive syllogism
; }2 t6 G- M8 O( `% n, g' z~(P & Q), 取得 P 所以 ~Q6 b, A& E5 }( d
~(P & Q), 取得 Q 所以 ~P
, ~- d+ b8 `3 H, F) I& }! k7 L, C% w1 S6 r8 A
Hypothetical syllogism
5 n. F: {4 A- X3 v+ R. WP --> Q, 取得 Q --> R 所以 P --> R; R, P# y0 j; o0 r- C: w
2 _2 K# o7 A4 X: w7 A4 `6 ]De Morgan's theorem
1 y3 A. ^0 c( b) Q~(P & Q) 所以 ~P or ~Q
$ U8 D) s5 j/ r' S* D~(P or Q) 所以 ~P & ~Q |
|