|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens Y) z9 E; z1 ]0 J, d# g
P --> Q, 因為 P 所以 Q/ d4 \% {3 ^: t: B; u
1 ^+ }6 z. E4 h, P- t$ O4 j- `
Modus tollendo tollens1 r# z8 d& o) n1 _ \
P --> Q, 取得 ~P 所以 ~Q
! W; r) C2 S0 t8 s) N; m: P! D& u& q: t) t& {, `7 K' y3 i
Disjunctive syllogism# n2 i b* E9 s: h: [& [. Q
P or Q, 取得 ~P 所以 Q9 k; C5 y' t' Q# N F3 H6 P
P or Q, 取得 ~Q 所以 P
5 p8 m% d" Z) z% ]: z1 q5 ^( M& F9 a
* s2 \: H5 P4 F) [Conjunctive syllogism
( P N N9 c, o; t& I z# r~(P & Q), 取得 P 所以 ~Q; \: Y1 [; m/ U- e$ y
~(P & Q), 取得 Q 所以 ~P. M; V6 ^4 C& ^5 B9 n9 p0 P% [
" z0 |; u0 b3 i0 l; j/ H* r- P- RHypothetical syllogism" f5 K3 @0 L* {
P --> Q, 取得 Q --> R 所以 P --> R7 J0 D* v2 b9 b1 U+ H
3 D U1 V K# y' F V9 @% _& Q
De Morgan's theorem* s, u1 l2 c! ]
~(P & Q) 所以 ~P or ~Q/ N3 u$ L9 q! a. }; M/ U2 A
~(P or Q) 所以 ~P & ~Q |
|