     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
8 R" v! k/ w0 Y7 U3 }P --> Q, 因為 P 所以 Q& s! ] O- {. q: {# e# _
- s% Y* @ X. U- x& |Modus tollendo tollens
. Z, T- q$ F. b- Q2 Y! CP --> Q, 取得 ~P 所以 ~Q
* b* \, M9 q, s5 ~4 Z3 z
0 a( E1 J" A- r2 hDisjunctive syllogism2 [5 n5 b8 x5 [! R) z
P or Q, 取得 ~P 所以 Q+ E! _1 ^; V9 [- p u* E/ f
P or Q, 取得 ~Q 所以 P7 r/ U' b7 z$ @( e% H3 C6 p/ ?* G
, W6 ~3 V( o3 R7 A/ h, t2 D) a5 l
Conjunctive syllogism1 ^+ s1 \* R; |& [
~(P & Q), 取得 P 所以 ~Q( J y+ j8 o7 B' v M0 ?8 h
~(P & Q), 取得 Q 所以 ~P
* `2 u8 h, u& n6 I# w2 ?2 `- r9 P1 s& ]" q( j
Hypothetical syllogism( s2 H- k; _& g' H3 C
P --> Q, 取得 Q --> R 所以 P --> R
6 ]2 M R4 q3 P& A6 ~1 `0 i9 ~. P3 e& K" x" O
De Morgan's theorem
5 }% F9 T% N; O) C~(P & Q) 所以 ~P or ~Q
$ g: q2 H* G% L6 U! @4 f: j6 A( E~(P or Q) 所以 ~P & ~Q |
|