|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
8 j( v6 B, e( \. ?3 y! x2 ~# AP --> Q, 因為 P 所以 Q
5 H, n0 Q/ a5 z3 r- f% a& i! ~2 P% i8 y" U: S8 K7 J
Modus tollendo tollens
* i7 O! J- e- s* j, X# l. nP --> Q, 取得 ~P 所以 ~Q
5 q. s2 R/ x/ |& l
* b! T+ O9 E4 Z7 k5 pDisjunctive syllogism
# j6 j: `) Q; Y6 X# G5 yP or Q, 取得 ~P 所以 Q5 H9 ~6 h& k+ V7 ~' T0 i
P or Q, 取得 ~Q 所以 P2 |( T, C& }3 e' M7 b
* s3 @6 p5 [7 h3 A& a) [Conjunctive syllogism
& H7 T4 C3 k( m! N8 Z. R~(P & Q), 取得 P 所以 ~Q- C" n2 Y( f6 Y. P8 g) S
~(P & Q), 取得 Q 所以 ~P \ R. U" x9 h1 _5 J
6 y5 ~% A, W: `) ^7 E1 [% ^+ eHypothetical syllogism
7 R+ m/ P# i' Z" p" O7 U% iP --> Q, 取得 Q --> R 所以 P --> R3 @- w+ v2 y" c. z
* m/ J: I9 n: k1 l: fDe Morgan's theorem3 Q3 W8 g# ]0 w0 z/ ~- G! n; ^& ~5 q
~(P & Q) 所以 ~P or ~Q( v; ?6 v& Q. q+ A& P+ [
~(P or Q) 所以 ~P & ~Q |
|