|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
4 K3 o4 ?! a) HP --> Q, 因為 P 所以 Q
) J, a" l# b- D6 g% o( c6 w4 k8 a9 ]& o# E9 ^5 I2 m: b, z
Modus tollendo tollens8 I! j1 o' u1 I$ Y' c2 B4 R
P --> Q, 取得 ~P 所以 ~Q
" g) I7 ]( U/ N" i. o. k) }
, T. m5 W1 \, y0 fDisjunctive syllogism7 W( f' X8 b$ r1 S3 X& K
P or Q, 取得 ~P 所以 Q
% [ } {9 Z& b( {P or Q, 取得 ~Q 所以 P
z4 w' L3 |8 O; _, r$ o+ m& s- w' c; | W; t" E( ?% c
Conjunctive syllogism! ~- w7 A3 ^, h& Y4 Q$ {2 Q
~(P & Q), 取得 P 所以 ~Q7 E8 J+ J2 R* |* m/ A
~(P & Q), 取得 Q 所以 ~P
b$ Y$ j7 k9 X# z- U1 g1 a8 }
: R; l/ x# l) K8 aHypothetical syllogism1 ?) L# S. I; ]" j& [+ }
P --> Q, 取得 Q --> R 所以 P --> R6 ] h- L: }. A3 S" h
+ g7 m9 A% @0 B' s, f: S
De Morgan's theorem" Y3 Y" D d& w/ e1 l
~(P & Q) 所以 ~P or ~Q
( P# k1 _1 T# O( @% v2 P+ O' L~(P or Q) 所以 ~P & ~Q |
|