- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens: t: t+ S+ b5 j( _' `7 {% Z0 [) {
P --> Q, 因為 P 所以 Q7 n* f: m2 i4 k' w) N* y1 p
' k7 K" _" x R* SModus tollendo tollens; Z# E- C1 a+ _* T+ r) F
P --> Q, 取得 ~P 所以 ~Q1 b# x- n. Q, i/ o) A! g" h
# q; p2 A' E$ b" L) K0 V* {6 c. C8 L
Disjunctive syllogism
6 J( {6 M x. V5 J) X8 y2 k) jP or Q, 取得 ~P 所以 Q
# t3 d/ r6 \8 q7 AP or Q, 取得 ~Q 所以 P
% l" X* `: k3 e& C; C O; C. P/ A; j$ J! H6 e
Conjunctive syllogism, N. @4 ~. M3 @7 y1 O- ?. e
~(P & Q), 取得 P 所以 ~Q( i3 Q' N( V" F6 G' w7 y2 n4 n
~(P & Q), 取得 Q 所以 ~P" w; Y: Q" s& j, ]$ S' p: e
9 d `/ z: a2 X; G/ q
Hypothetical syllogism' w- y/ ^4 X% e: C. Q9 y$ M K
P --> Q, 取得 Q --> R 所以 P --> R
7 N8 k- K% N* \0 `
( j$ M- S5 X: ~- C! P! qDe Morgan's theorem) W( m8 h2 M7 [: }( r
~(P & Q) 所以 ~P or ~Q
4 d$ m/ N: v! ]+ |~(P or Q) 所以 ~P & ~Q |
|