     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
$ b r$ u! s' O. D: C& uP --> Q, 因為 P 所以 Q8 ?; n" t0 Z7 ?4 C
+ n- W4 b5 D" o* O: F: IModus tollendo tollens
0 k7 v- Y3 ?. Z# p) E: u" P- lP --> Q, 取得 ~P 所以 ~Q3 h( _7 p" I$ }7 d( m
* z( A" r1 T) n
Disjunctive syllogism' K. u9 G4 k6 `* Y* f* n
P or Q, 取得 ~P 所以 Q
: S0 C7 _9 ?6 l! b" Q& y4 u& T& xP or Q, 取得 ~Q 所以 P2 @3 o0 [. d$ ~0 W" @$ a8 ?/ L$ Q
% e0 N. S! @; [6 q. x6 \: BConjunctive syllogism
& w9 f, q, j" w~(P & Q), 取得 P 所以 ~Q
1 E( y/ F9 Y0 G2 \% j~(P & Q), 取得 Q 所以 ~P4 I! s8 i% q( _7 [+ {. V
" C- V3 P* b+ U. Q1 @! F7 L4 h/ x) UHypothetical syllogism
& F, n- O! R/ L- y) Z2 _3 BP --> Q, 取得 Q --> R 所以 P --> R$ h# H; ` I2 Q. ?& u" G
0 i0 M& y. O( `1 M* Y+ [De Morgan's theorem' P8 y# g, i/ q
~(P & Q) 所以 ~P or ~Q
9 d3 b$ s+ y$ M4 O~(P or Q) 所以 ~P & ~Q |
|