|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
! @6 I G! s# EP --> Q, 因為 P 所以 Q
: _5 ]" }: B9 C+ v% x
x: ]; Q& s' d( H0 D! mModus tollendo tollens
; G, u1 f4 `7 o. `- y; `- hP --> Q, 取得 ~P 所以 ~Q
: T' p, U# x, A4 }8 p0 e2 w% C* [7 D% g
Disjunctive syllogism7 g( o, i: p# G8 I
P or Q, 取得 ~P 所以 Q! F2 ^9 V `% _% e* j* w
P or Q, 取得 ~Q 所以 P) _$ k% e+ a: A, [4 ^" _- j
0 R3 I% D2 q, q9 \
Conjunctive syllogism
0 e, e7 b% h% F& [~(P & Q), 取得 P 所以 ~Q
# s3 ~5 {# h0 g+ f~(P & Q), 取得 Q 所以 ~P
+ q& e" q1 D$ i* i" V8 W" j }4 q% ^. u/ K8 x9 w- q( m
Hypothetical syllogism$ Y3 u) q# M8 d5 c
P --> Q, 取得 Q --> R 所以 P --> R
( b" M' B( u, G7 @5 w# g8 O* M5 }# W4 l# J2 V S" m$ y
De Morgan's theorem
% E+ H% c# s" P u/ p8 ]~(P & Q) 所以 ~P or ~Q& d+ o( ]* P) j: G0 M
~(P or Q) 所以 ~P & ~Q |
|