|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens) f- |9 A, W' g: T: K' o5 ~ X
P --> Q, 因為 P 所以 Q
, T+ D2 ]. C: D: z y6 ?
% {: ~: b( g& k' E4 ^Modus tollendo tollens
- }8 R6 i3 b! n8 z$ M1 @P --> Q, 取得 ~P 所以 ~Q
6 I n# Y% ?, \; D- n$ ~
' s6 B3 u# f3 l. Q' FDisjunctive syllogism9 _1 k# i4 C$ O
P or Q, 取得 ~P 所以 Q: u ~: v) S2 b
P or Q, 取得 ~Q 所以 P
! m8 T. [. Y: P/ J! Q7 ]. M- x1 j7 k0 Q/ z
Conjunctive syllogism, n) g- o) X1 A6 z1 F! X
~(P & Q), 取得 P 所以 ~Q* x/ P. h' k6 J$ G9 y
~(P & Q), 取得 Q 所以 ~P
; x7 i, Z5 Q; q5 D5 v9 f$ G* G( p& r3 X0 e% t4 @
Hypothetical syllogism
; w( w4 ^+ H( J g: B) a4 qP --> Q, 取得 Q --> R 所以 P --> R9 b% y% \8 W. r9 l
! |) \3 J* [1 p; [( C% m
De Morgan's theorem
8 V5 |$ s+ X* S$ p, Q4 b% x3 c~(P & Q) 所以 ~P or ~Q0 a0 q0 Y' ]* @3 n4 @0 \
~(P or Q) 所以 ~P & ~Q |
|