|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens# u p0 J' o0 N5 }. _
P --> Q, 因為 P 所以 Q
! d* u9 u: q0 r+ K( w
! [. E: i% O \Modus tollendo tollens! x, I7 y8 Z8 q" N/ x' x
P --> Q, 取得 ~P 所以 ~Q
+ o0 T9 t3 N5 r4 w+ ]5 x0 D
9 O- H z( @) f0 m/ C1 q1 O6 JDisjunctive syllogism: |- y) J9 i9 |# j* v+ H6 p" A+ ]
P or Q, 取得 ~P 所以 Q4 Z! `9 m" g; m
P or Q, 取得 ~Q 所以 P" n( C: v. w' E" m9 `
+ z9 q& |3 l4 X: U( i1 y- f' {! @ m- qConjunctive syllogism
' r: `0 `5 e* D+ O~(P & Q), 取得 P 所以 ~Q
+ z2 E r3 q& [; _: a9 g0 u" ]~(P & Q), 取得 Q 所以 ~P
* s' f8 k$ a/ B& y2 a& M& U) q: ?. b
Hypothetical syllogism
1 G# X) G6 V. pP --> Q, 取得 Q --> R 所以 P --> R
8 k4 B2 f3 h0 p3 c! S3 l) }2 D- Y& S& D
De Morgan's theorem Y, e! K. L% A7 ?/ Z- m
~(P & Q) 所以 ~P or ~Q
4 Z7 _/ K1 D) Q0 P~(P or Q) 所以 ~P & ~Q |
|