     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens- I* _# L J( [! a% q
P --> Q, 因為 P 所以 Q
. J- p8 x \9 U" j: T1 h* u6 M: T: a& F3 l0 }% f& ^/ l
Modus tollendo tollens
/ C- X/ Q, H& F! D, zP --> Q, 取得 ~P 所以 ~Q
, v, n4 e, X3 `& _9 W7 E
, S; C! }! W) [# w' l5 i$ [" oDisjunctive syllogism
9 ?2 t$ y% |/ j: u+ C) A5 S& hP or Q, 取得 ~P 所以 Q w& r" G) I% v; c- U) `6 \: j
P or Q, 取得 ~Q 所以 P/ W$ W5 q" o. d. m# J& U
. \: k0 Q G6 K, @
Conjunctive syllogism
3 s3 e& m7 V. X! m, Z% e! }' G~(P & Q), 取得 P 所以 ~Q; X) {' J- z% R p. ^
~(P & Q), 取得 Q 所以 ~P
/ B/ H& H" f. W% {- ]5 u4 ]2 ^# {: _/ i7 |
Hypothetical syllogism
! ^* H+ P6 n9 X$ I0 IP --> Q, 取得 Q --> R 所以 P --> R
( ]0 x) G: K& S( S# n. \; s" |! d+ T9 ~" B* X, \2 A$ r
De Morgan's theorem
! t9 ? I" n3 y) x: L5 y1 z% r~(P & Q) 所以 ~P or ~Q6 T5 `% V4 d$ R+ d
~(P or Q) 所以 ~P & ~Q |
|