|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens: w1 t2 @- Z3 p; ^2 X
P --> Q, 因為 P 所以 Q
6 h' B3 q' O+ }% W; Y% i5 [, p# {# @* v3 t* B7 y) j. k
Modus tollendo tollens
0 p8 M, J& s3 w8 l u% ^" IP --> Q, 取得 ~P 所以 ~Q
, }( n$ f0 c6 O. }
5 k% u& ]6 k" v$ K r9 IDisjunctive syllogism5 @8 S% W7 x, K. p3 i
P or Q, 取得 ~P 所以 Q
) q0 `; T& M$ q. V) {P or Q, 取得 ~Q 所以 P
3 q' v; t9 J) N4 ^7 b$ y# W7 g# h+ v/ s; Q) D
Conjunctive syllogism9 ?5 u1 T2 x. L- R
~(P & Q), 取得 P 所以 ~Q
" ], t# @5 G, ]0 P~(P & Q), 取得 Q 所以 ~P+ b$ L/ l: B! O/ k4 V$ D
% f0 \9 J- g( i; Z, \
Hypothetical syllogism( Z; y! D9 ]# A. h0 `0 |; @# z
P --> Q, 取得 Q --> R 所以 P --> R5 Y$ G9 l& i( r4 M2 }# S
. t8 Y! v% g1 k( ~3 ]
De Morgan's theorem) m% i$ {) v8 O i- |
~(P & Q) 所以 ~P or ~Q7 V. F0 o5 L1 T
~(P or Q) 所以 ~P & ~Q |
|