|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
: V$ t: p5 x6 _9 ~# lP --> Q, 因為 P 所以 Q F( j+ h1 @- `! L
% l) z8 L0 N: E* ZModus tollendo tollens! I7 O9 C+ {/ B6 u8 d
P --> Q, 取得 ~P 所以 ~Q9 s* m" r$ d4 R% W) O5 x+ e. j
* w T$ t4 g& |- ?' m0 {
Disjunctive syllogism
8 g2 q. J4 M# y4 {6 bP or Q, 取得 ~P 所以 Q
8 B. g5 Z! m& p2 [. }1 E, uP or Q, 取得 ~Q 所以 P
" g6 p6 z; f F% \3 O
8 f2 i9 n, E+ r# lConjunctive syllogism& M) U" V- v5 j) Q& C5 y k6 w( b
~(P & Q), 取得 P 所以 ~Q
/ B+ g4 f: N7 P6 z~(P & Q), 取得 Q 所以 ~P
8 x! [2 @7 B: C0 U0 l% o& s( X2 ]3 t
Hypothetical syllogism6 i @! b; A( J \
P --> Q, 取得 Q --> R 所以 P --> R* l3 Y( V1 o# T
" h$ J7 O: v6 i" Q
De Morgan's theorem
( H/ W* d3 n3 j, r~(P & Q) 所以 ~P or ~Q, Y1 L/ E2 ]! p5 Y: Z
~(P or Q) 所以 ~P & ~Q |
|