|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
9 k# B3 n% x; p; V' K: ^, {P --> Q, 因為 P 所以 Q
$ H5 v; M/ j; z3 B
6 k( {! D; n6 x8 |6 K" YModus tollendo tollens s9 }! `+ R% |. T8 ?
P --> Q, 取得 ~P 所以 ~Q
/ L E% A0 b8 u( W0 D0 R8 x: B0 W# b4 g
Disjunctive syllogism
4 }% \( O& \$ P+ B. ~( _P or Q, 取得 ~P 所以 Q5 p) n7 l1 i; g
P or Q, 取得 ~Q 所以 P( O$ |. z0 L' x
( `: \$ a, E' n v w" A y$ ~Conjunctive syllogism
" W, U) a' e' ]! x& A6 t9 A~(P & Q), 取得 P 所以 ~Q
; M% u0 W L2 |& X, c, ?~(P & Q), 取得 Q 所以 ~P5 C! c4 A' w( i9 K" b
& A3 J z+ v5 z9 p; uHypothetical syllogism
4 }3 B7 u9 t6 v3 D4 i! }2 A* tP --> Q, 取得 Q --> R 所以 P --> R9 Y+ ^0 H/ m- k# ?$ e* @( u+ a$ z
& |; W+ j1 h- p2 w6 h% G
De Morgan's theorem3 M2 A2 i' {' w# ]9 Y2 N
~(P & Q) 所以 ~P or ~Q. M7 I# V0 N* ~* q1 G& b
~(P or Q) 所以 ~P & ~Q |
|