|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
9 k* }$ S2 d( Z) Z4 F$ aP --> Q, 因為 P 所以 Q9 f. n* ~7 K5 h+ b: G6 q
) k' B, L, V' BModus tollendo tollens N+ ]- S( p; v1 x$ C% C
P --> Q, 取得 ~P 所以 ~Q
# A; Y8 M( p, |! j7 ~+ q# q; I
/ M7 m# U V& g; W. q9 VDisjunctive syllogism
! q) ?. I) _- z h+ zP or Q, 取得 ~P 所以 Q3 I* ]$ @5 v* |6 _
P or Q, 取得 ~Q 所以 P
% P7 d8 |- t; Z4 `7 z5 }+ b+ M* p7 D; o5 i' g$ ?3 Z
Conjunctive syllogism
3 R ], J- }$ n% w7 T8 k~(P & Q), 取得 P 所以 ~Q8 V( i4 y a+ @' ?
~(P & Q), 取得 Q 所以 ~P6 P2 M/ G2 J& Z% i* b
4 W* g) G3 v6 a$ _' R1 _2 eHypothetical syllogism
' ]2 t; J$ T/ c( `$ \; v7 g7 OP --> Q, 取得 Q --> R 所以 P --> R
7 z# X5 o$ e8 R# Y) Y" C1 {4 o% y1 L3 k+ F5 ~ }8 D/ R @" U! x
De Morgan's theorem
o% R. a4 ~0 ~% `8 H+ o- [. C h~(P & Q) 所以 ~P or ~Q3 x: y; \9 F+ {) V8 X7 S
~(P or Q) 所以 ~P & ~Q |
|
