|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
" U( D9 o/ n" z5 |# ]P --> Q, 因為 P 所以 Q
7 e+ i$ C- c4 L% i
4 G/ a0 g% V/ g. n% t; A! IModus tollendo tollens
& a* g* J! x5 t& l4 dP --> Q, 取得 ~P 所以 ~Q( W" \9 X/ [/ t8 [8 j3 R6 t
& ]. l- A- n" B) fDisjunctive syllogism
$ u$ |+ d2 G6 h. Z' L( _P or Q, 取得 ~P 所以 Q
* I& R" ]5 B2 U8 i% g( n4 kP or Q, 取得 ~Q 所以 P7 `1 |, v$ y4 F: K, @
5 r7 ]+ R+ ~! g% U
Conjunctive syllogism
# \7 {8 [8 N9 Y~(P & Q), 取得 P 所以 ~Q$ e( Z8 L9 Y! Z: r! W8 V$ A6 ^
~(P & Q), 取得 Q 所以 ~P
0 F* G' T+ Q% D! ^6 R8 O4 w) Z8 \$ D, w6 u% ~5 [# I
Hypothetical syllogism
E( w+ _. d0 g2 `7 _! [0 F: ~. Z: }P --> Q, 取得 Q --> R 所以 P --> R) g5 l3 D( k7 J1 m
X; Q9 k( u2 U& cDe Morgan's theorem H* w4 A0 ]' d7 _1 y
~(P & Q) 所以 ~P or ~Q
" o: C6 Z: B) {- N8 V% g~(P or Q) 所以 ~P & ~Q |
|