     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens% o" Y' H- b. L1 e% I2 g; j: B
P --> Q, 因為 P 所以 Q
; ]* N: v7 t: H) ]% O9 y" X R4 t b" o/ r" h3 x: D: `( S
Modus tollendo tollens
& }/ @3 b; r) A- fP --> Q, 取得 ~P 所以 ~Q
% @: j1 f2 Y6 u6 o: }
9 W% H% F; w0 F2 P3 C IDisjunctive syllogism+ V c8 N2 y* y" b
P or Q, 取得 ~P 所以 Q
& n+ M. o W9 x& |P or Q, 取得 ~Q 所以 P
7 V7 C$ R9 m/ C1 {7 \! m! H! R8 o3 C2 K% l C6 \* I
Conjunctive syllogism
) v# C: B. p+ G$ m2 }0 O' A~(P & Q), 取得 P 所以 ~Q
6 {/ h& U, s" x: }& \~(P & Q), 取得 Q 所以 ~P' C3 r. @) p0 \! D# ?* N8 X W1 n! K
, W: h- ]+ B2 ~" |. J% jHypothetical syllogism
9 V+ w L. _' B% v( RP --> Q, 取得 Q --> R 所以 P --> R: d0 W4 H3 H+ Q# { N) z: ]
2 V7 V. b" K$ \. B
De Morgan's theorem$ C( d( `) @7 L8 n' K
~(P & Q) 所以 ~P or ~Q
2 z) ?0 ~$ v! }/ |~(P or Q) 所以 ~P & ~Q |
|