|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
: g' `" k5 t2 I" y2 ?( yP --> Q, 因為 P 所以 Q
( S* s6 E0 @& Z2 ^/ ]
6 @, J) h; M9 ^Modus tollendo tollens% X4 ^1 u2 B! m1 ?5 y7 ]
P --> Q, 取得 ~P 所以 ~Q' s( \$ h' J; G) H0 S$ n' B( N. \
1 W3 `, m1 \* U, K* r& I4 h4 r9 JDisjunctive syllogism
" ]+ _, x3 `+ I0 L5 GP or Q, 取得 ~P 所以 Q
" j7 s# E" a, S# z0 d, c" GP or Q, 取得 ~Q 所以 P
d% u$ W: s* d0 o' r" |7 `- K+ n+ z" ~# ]+ A
Conjunctive syllogism
4 K" e4 m2 i: z( u" d~(P & Q), 取得 P 所以 ~Q
4 @& F/ b, Y! R& H k: S L5 l~(P & Q), 取得 Q 所以 ~P1 i: X( ?6 x! T1 n) z
- J5 l/ K# p5 F
Hypothetical syllogism9 N8 \& Q+ N5 V6 @
P --> Q, 取得 Q --> R 所以 P --> R# ]% {9 h' Z& j7 @4 _
. l! k; z. u. V3 G+ L2 x
De Morgan's theorem
% [/ z+ k- s: P2 ?* n~(P & Q) 所以 ~P or ~Q- O$ a( i% w0 p. V2 I# [" a
~(P or Q) 所以 ~P & ~Q |
|