     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens4 U1 E5 C3 @- P9 l8 P: i
P --> Q, 因為 P 所以 Q
& V& }) ?( y) ^0 O& H
. M6 Q0 o% X; r! f2 F$ H4 b/ \Modus tollendo tollens
' |9 g7 f Q4 Y9 ~8 z; \P --> Q, 取得 ~P 所以 ~Q
! S9 a+ s/ i$ g3 V: S2 ]4 ^# e* v- c2 `* x
Disjunctive syllogism
( a7 S& ^$ r, p3 t' mP or Q, 取得 ~P 所以 Q
$ x0 p+ |$ i' W% H- BP or Q, 取得 ~Q 所以 P
' ]5 b9 t+ D' F9 z/ Q
) ^3 o* R4 P$ o; | U* DConjunctive syllogism
3 N6 J4 K" K5 B* U~(P & Q), 取得 P 所以 ~Q
/ u4 Q' I c5 }3 A% d, b- ~~(P & Q), 取得 Q 所以 ~P
! S5 G: F. \+ b9 E& i+ P& v6 s- ~9 }+ C% ?% E6 B+ S
Hypothetical syllogism
3 x: [6 u7 A, NP --> Q, 取得 Q --> R 所以 P --> R, A: o L) j8 w8 g" l8 s% e
$ P, g% K+ U0 tDe Morgan's theorem
9 [7 H3 m" _2 t6 e6 V# U* A~(P & Q) 所以 ~P or ~Q' q- G( w0 J, x4 p! x5 y
~(P or Q) 所以 ~P & ~Q |
|