|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
% _1 @: r$ z- @P --> Q, 因為 P 所以 Q
) z% z4 r y6 H" g* n! q) C% j# \- ]; [$ Q
Modus tollendo tollens/ C& m: F6 K8 Z4 m4 z4 Y# _
P --> Q, 取得 ~P 所以 ~Q
1 h' K! C8 _: {& q
: a2 u6 \( ?7 y- MDisjunctive syllogism
^9 u3 w$ Z5 h7 VP or Q, 取得 ~P 所以 Q
; P9 q, @1 e! q* B$ ~0 mP or Q, 取得 ~Q 所以 P
6 |2 `$ O9 k' C% [$ a/ ]
+ C' m8 V2 A/ cConjunctive syllogism
# t# u4 W% S; [# |. U~(P & Q), 取得 P 所以 ~Q* M; I- o- K% z L2 P( g2 {3 u) i- I: p
~(P & Q), 取得 Q 所以 ~P
( H, R8 x3 T8 i! y8 k, [# H. w( P
Hypothetical syllogism+ H |! W# F5 `$ ?% d2 V' a. w; ? }
P --> Q, 取得 Q --> R 所以 P --> R* v% M1 b! c+ \4 {' G3 T5 }$ f) Z
! n; Q% T6 T( a& ODe Morgan's theorem! q5 j9 S. z& f3 [% O: b
~(P & Q) 所以 ~P or ~Q
% I) ^ S" y# l9 n4 m~(P or Q) 所以 ~P & ~Q |
|