|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens3 h# h0 e5 ?+ L
P --> Q, 因為 P 所以 Q
) x& r$ m0 m' t4 v2 E( M! \5 T3 \" q4 J+ A" k6 ?; S2 v
Modus tollendo tollens% X5 y1 R6 f; A( `& C+ _' o' C
P --> Q, 取得 ~P 所以 ~Q: f5 c! Z" \+ S* Z: K5 C9 @
; m: z$ K' H- ^/ W Q) ]" N4 d
Disjunctive syllogism
4 a* I7 ]* d% h' o" q" BP or Q, 取得 ~P 所以 Q+ S2 G" B, |7 k3 y, `* i3 `2 X3 g5 \
P or Q, 取得 ~Q 所以 P2 J+ O3 {/ n; y; x, J) i0 s. z
6 i1 }8 t q. S0 k( ~
Conjunctive syllogism7 Z6 S8 V% X2 y, `6 t: w$ {8 g
~(P & Q), 取得 P 所以 ~Q
; ?4 a' w* P: \# G0 B. V# h8 v. h~(P & Q), 取得 Q 所以 ~P
8 N9 |+ e% s# z8 d& n, v! w9 D, m3 s. | E# \) ~, D; f5 ~
Hypothetical syllogism
) I/ V" J' X( d8 S u) n$ qP --> Q, 取得 Q --> R 所以 P --> R
) k* O/ H! Z) |2 S5 F3 q3 U& ~+ j- _3 w- e2 X
De Morgan's theorem/ C) P! n. H/ l% a
~(P & Q) 所以 ~P or ~Q
, U3 b/ D' Q) u' G~(P or Q) 所以 ~P & ~Q |
|