     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens0 g! ~5 M% ~# ]2 S% u5 }
P --> Q, 因為 P 所以 Q
+ Z8 j& q! v1 Y: A( g' @% ~ |; j4 J
+ m1 C2 e9 W6 T! }Modus tollendo tollens
% J# ~3 e/ _. z/ s6 `P --> Q, 取得 ~P 所以 ~Q
3 e) ^! |) T+ h" K1 u0 O9 V9 e6 X- B# l( T7 }# f
Disjunctive syllogism
3 z; l/ m3 v- `8 @" \7 g) i3 dP or Q, 取得 ~P 所以 Q
9 m+ P( _( u: V# b8 i& x l/ jP or Q, 取得 ~Q 所以 P
) A! z# X8 y2 h+ B |, I8 ?+ O# }2 z/ O' H: [+ K/ p, ]; ?: [
Conjunctive syllogism1 r1 o$ V1 `- d
~(P & Q), 取得 P 所以 ~Q
( c' J5 [9 E" ^- B x~(P & Q), 取得 Q 所以 ~P
- Y, \- a' z0 ~- W* l) h% b" S; K; e1 P2 d
Hypothetical syllogism a( Q; f. |0 }5 M# h
P --> Q, 取得 Q --> R 所以 P --> R, K4 C- r# [# h" N/ B7 Z0 a
) {( R, R9 U" [/ n) ~. N
De Morgan's theorem
( A& I- E, ~) k~(P & Q) 所以 ~P or ~Q
) E, c, K3 h$ @- A* I1 L( I~(P or Q) 所以 ~P & ~Q |
|