|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens: u5 G* I! t/ r: `- z5 I# i" w$ O
P --> Q, 因為 P 所以 Q# L1 h8 r" L& \/ ?
' H0 c8 }' N# P1 N' m) RModus tollendo tollens
- [1 [4 c, I# h$ X2 ^) e# ?P --> Q, 取得 ~P 所以 ~Q
' ]: W% D7 R8 Y5 D
, c. a; r9 B, [( ?; h8 f+ RDisjunctive syllogism! |! X6 ]1 _ h5 I/ y4 o0 E
P or Q, 取得 ~P 所以 Q
# t% h6 J5 g( ]/ U; W. QP or Q, 取得 ~Q 所以 P0 R; ?" b( \8 o. o
! [% O. V4 W5 s* J: R- u) D9 B9 ]Conjunctive syllogism- T' J! w/ a7 @8 x
~(P & Q), 取得 P 所以 ~Q6 I$ G8 C! `) I3 ^
~(P & Q), 取得 Q 所以 ~P
9 y- K" s3 [0 b) Y! V9 L7 K2 v+ S5 x7 U& _
Hypothetical syllogism1 K4 ?# p% s6 v. g) e
P --> Q, 取得 Q --> R 所以 P --> R& x& ?$ I* @" x% T7 H0 u! J4 s
% m) o. g8 F! h& ~3 ^. F& hDe Morgan's theorem$ R+ J1 A" e: b x; z: c: ~
~(P & Q) 所以 ~P or ~Q
9 P ]1 c0 L3 Z7 I6 K" j7 @' o~(P or Q) 所以 ~P & ~Q |
|