     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens+ d( r7 R9 U, C; A9 L: q/ F
P --> Q, 因為 P 所以 Q
: n' _0 Z2 x$ u( `; c( m% o- `+ r* Q3 z4 P K) c, I
Modus tollendo tollens
. _6 M! X2 v2 m% FP --> Q, 取得 ~P 所以 ~Q; T# ~& e2 Z- y+ N& L* v
+ m$ T% s' B6 E. V# i) Q: P5 fDisjunctive syllogism
0 p- y4 I) w! H+ IP or Q, 取得 ~P 所以 Q
7 T2 P1 A! o; M/ q$ H q) ?8 }P or Q, 取得 ~Q 所以 P3 C4 P( t- H4 G; q- p& @$ b5 v
" F. K; Y1 g& r! F* L4 t( [Conjunctive syllogism. {9 f& n ^5 a* N
~(P & Q), 取得 P 所以 ~Q
/ P8 I% t& M2 \0 }~(P & Q), 取得 Q 所以 ~P
. F9 ?. r$ C0 p* \1 ~
5 L4 B7 p$ [0 Z& G/ x) zHypothetical syllogism3 F p. R9 Z6 w6 w0 L
P --> Q, 取得 Q --> R 所以 P --> R
/ L. Z6 G; m2 M- M! B4 g7 S/ ` U& r" E1 @
De Morgan's theorem, \* _7 h9 n, m
~(P & Q) 所以 ~P or ~Q, \7 H0 E& Z, I, d& w [1 o9 C
~(P or Q) 所以 ~P & ~Q |
|