|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
! ^' f( U) _5 i: U" W7 `1 r VP --> Q, 因為 P 所以 Q
+ i, c7 @+ ^: i! T5 s3 J5 l$ x1 B
Modus tollendo tollens& ?. u+ Q( W* N0 Y3 }% t
P --> Q, 取得 ~P 所以 ~Q
1 C; L! ]0 i$ F# s
) D1 W' A4 a5 M; ~; |$ hDisjunctive syllogism
# y9 m! y5 D( U3 x# CP or Q, 取得 ~P 所以 Q# |& p& ^3 q" n7 N; i5 N
P or Q, 取得 ~Q 所以 P) P# s7 v6 O1 Y% P
- B- o& n4 a! i* z. S
Conjunctive syllogism
6 t! ?8 E1 |+ M7 p~(P & Q), 取得 P 所以 ~Q# t: d- X- n! j. q# v" Z% o2 x6 C
~(P & Q), 取得 Q 所以 ~P
& H* i7 }4 C4 O" D9 l8 Y) ?9 d5 `) B" V- O7 X
Hypothetical syllogism7 V+ u5 Y6 t, X
P --> Q, 取得 Q --> R 所以 P --> R
N4 e$ g) [: C1 t1 K6 R3 f: B4 j& D- k# G2 @# E
De Morgan's theorem
4 ~ l9 l. I) E$ q* J0 Z5 o~(P & Q) 所以 ~P or ~Q1 i' Q: A+ {1 o# i# t5 M7 ~
~(P or Q) 所以 ~P & ~Q |
|