     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens! f2 O; I. v% H+ [6 @$ j
P --> Q, 因為 P 所以 Q
: D8 p, v& x0 X2 [3 P3 Z: s& ^. _, u) o, M! @' b
Modus tollendo tollens; u9 R3 ~% { h$ [) |
P --> Q, 取得 ~P 所以 ~Q- D8 e" t2 r$ `6 i
0 g. L% z% \/ R$ U
Disjunctive syllogism
" V7 F; v4 {1 x( ^2 i' i/ _7 c, rP or Q, 取得 ~P 所以 Q2 ?# |! O) R$ P4 z }; n9 C z& I O. g
P or Q, 取得 ~Q 所以 P4 U4 [; z( [ r% Y& y# @+ C9 b0 [
# @5 ?8 z# ~; _9 G" C; nConjunctive syllogism
" Y5 l% J# V1 t7 F- p) }~(P & Q), 取得 P 所以 ~Q
K, p& _% z- d5 }' M Q/ M# i6 b~(P & Q), 取得 Q 所以 ~P
/ y) c* b! D% n# K7 c+ R
( W, d6 O- x) v: m1 o0 U; oHypothetical syllogism
' l3 A0 A/ ]1 C) c* ^7 \" ]2 NP --> Q, 取得 Q --> R 所以 P --> R! ?) G& d( a/ k4 |( ~
# Z& V) l: e- p: J) J4 kDe Morgan's theorem q2 ~2 b$ b6 m8 `$ r
~(P & Q) 所以 ~P or ~Q
: d; {( q- Q0 u& M+ p3 K0 i; i~(P or Q) 所以 ~P & ~Q |
|