|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
+ W* k: |+ G3 C# FP --> Q, 因為 P 所以 Q+ Q( }# N2 W% r
- a( n& Q- _4 i1 ^% l# S8 i) E7 NModus tollendo tollens4 Z0 _, \' H5 L9 o
P --> Q, 取得 ~P 所以 ~Q
" n# T: ?8 V+ m5 |: y2 F) O% |
9 ?4 Y# s; ]/ c4 h' l! P1 T! u; k: oDisjunctive syllogism; R) E$ ~. `. ^+ r' {5 \9 _/ y
P or Q, 取得 ~P 所以 Q
/ h3 `# f( S9 |! r/ _, C% A2 e. ?1 yP or Q, 取得 ~Q 所以 P
: q& @7 v+ ]6 m) w; `1 Y. v2 P0 R5 d; z
Conjunctive syllogism; B6 B2 A5 t3 @0 F; v
~(P & Q), 取得 P 所以 ~Q w, j! t% v3 D6 `1 w/ P. Y/ E( }! R
~(P & Q), 取得 Q 所以 ~P
. B' `# r- N6 F5 M6 m' y1 s# ]3 a: h! I. T
Hypothetical syllogism' `& Z( J$ C& v Z; B( S
P --> Q, 取得 Q --> R 所以 P --> R
4 f- s' j8 _) w3 N4 P2 W
5 [9 u- S7 K* a1 bDe Morgan's theorem
9 i. ~$ W9 _) Y1 s/ X. K~(P & Q) 所以 ~P or ~Q
" W! L" h* S( Z) S0 }6 P6 M~(P or Q) 所以 ~P & ~Q |
|