     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
4 z% b, r6 z" S" W* f$ Q0 RP --> Q, 因為 P 所以 Q2 J3 y3 S ]1 s# ?7 L8 j; w8 Y7 }
* w1 n% }8 i/ u2 N- W6 c2 b# D
Modus tollendo tollens+ z7 {0 {7 g- {8 D- f
P --> Q, 取得 ~P 所以 ~Q5 m5 m( J+ k2 C* U! O
( p+ T$ x: {+ O/ d; F& ZDisjunctive syllogism
" @: W4 H* m+ PP or Q, 取得 ~P 所以 Q
G( H, I3 d$ A7 H( {. {3 pP or Q, 取得 ~Q 所以 P, e( w. }0 C! m" E: U
8 @' _" Z/ ^& L( v; t8 WConjunctive syllogism
# |& y8 N- _$ h% `9 d& a# ]' E. w~(P & Q), 取得 P 所以 ~Q
# F' C, v/ C2 }9 J+ U( y~(P & Q), 取得 Q 所以 ~P
+ |8 y3 j! T( X% }% X: W2 |& J
( `- O$ p. p0 s9 x F2 ^) r$ @Hypothetical syllogism9 c; h% z% a0 N) k' K
P --> Q, 取得 Q --> R 所以 P --> R5 h/ t6 K* H( m1 k) E
; [, X# S+ d7 |) iDe Morgan's theorem
& _* T9 \4 q& A L$ G~(P & Q) 所以 ~P or ~Q
; n" Q$ k4 j( B+ q# l~(P or Q) 所以 ~P & ~Q |
|