|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens6 f5 c: B, Q9 s- U
P --> Q, 因為 P 所以 Q! h( l& Y3 v5 S+ c: R
/ C7 _; G( q" | h( ]
Modus tollendo tollens
3 K7 ~3 w2 G# m, ]! P H4 HP --> Q, 取得 ~P 所以 ~Q
, }9 S0 L8 G6 Q+ a0 s
! D: Y3 f9 n- |; s1 s) C9 X PDisjunctive syllogism% J$ V9 g- m% t+ X8 i
P or Q, 取得 ~P 所以 Q
" {% U+ R/ o$ V# X% t- JP or Q, 取得 ~Q 所以 P* T, @- n3 }7 F* X9 o
7 N7 W a) i- X) r b* t
Conjunctive syllogism
. P0 ~6 I L! Q# _0 w$ ~( n, q~(P & Q), 取得 P 所以 ~Q6 r; c) b; ? r
~(P & Q), 取得 Q 所以 ~P7 A: i' V/ W. ~; |$ A2 O" m
1 D# | |, S3 ?. I+ iHypothetical syllogism2 D8 f* Y$ O- k6 n
P --> Q, 取得 Q --> R 所以 P --> R2 ?0 N+ M, \6 K2 X- ~4 Z& M' m
8 G% ]% a2 ^: A: K' b" u8 tDe Morgan's theorem
$ c9 g6 n1 @- V( ~2 d1 X~(P & Q) 所以 ~P or ~Q
2 w q, R+ x2 _! Q9 \0 j~(P or Q) 所以 ~P & ~Q |
|