|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
7 m+ G: `3 T" ~* _( qP --> Q, 因為 P 所以 Q1 K( M/ o0 V6 y8 U* N
. `& q0 s6 }! ~ Q' I
Modus tollendo tollens
8 a5 F, ^- {/ l' T# LP --> Q, 取得 ~P 所以 ~Q! r) L" |* t% R S) Z
[1 a, }" b! O7 g4 X( KDisjunctive syllogism
3 p& g$ @' X9 n" k1 KP or Q, 取得 ~P 所以 Q
! }! @% l6 |1 e! t% x8 EP or Q, 取得 ~Q 所以 P
: V2 W) n( r( _8 @& h3 C* ]2 k( G$ H2 U! R- Q$ r' d l/ l
Conjunctive syllogism- V1 q0 V6 m% @, X4 d9 `7 t
~(P & Q), 取得 P 所以 ~Q; s" k. k! _$ h& W+ h7 I
~(P & Q), 取得 Q 所以 ~P1 e% ^' T- b- m: B' [+ k& F) q
$ }' l. T- b% E, {5 V- l, uHypothetical syllogism# B8 z" F1 K! N9 j+ }( G' O" C8 `
P --> Q, 取得 Q --> R 所以 P --> R
! E2 k7 B4 d' q, u" C
o; X+ J; V& E6 k! f/ WDe Morgan's theorem
" i! N: S9 F5 \7 z) x9 Z3 {3 Y~(P & Q) 所以 ~P or ~Q! e% ^3 `. Z2 z' A
~(P or Q) 所以 ~P & ~Q |
|