|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
4 l5 ? H( C0 B$ z1 GP --> Q, 因為 P 所以 Q H+ k4 }8 X# P" T4 B3 }
$ V# @ x+ s1 X; L+ n' ~& M
Modus tollendo tollens
' m: S4 a& K% B$ S1 XP --> Q, 取得 ~P 所以 ~Q2 Y6 ]" i' R4 C3 _7 U" V+ r
1 g: g* C( q5 jDisjunctive syllogism
; D3 @# s4 r/ i" bP or Q, 取得 ~P 所以 Q2 E+ M5 `4 H% D. Z
P or Q, 取得 ~Q 所以 P" I0 ^! k1 y/ G: x( k
2 S& u3 t8 l- v* ~9 K" B! F# J9 _9 iConjunctive syllogism+ ^. ~4 S8 \* J. O- ]# V
~(P & Q), 取得 P 所以 ~Q
" S. }+ |, J, n) [- A~(P & Q), 取得 Q 所以 ~P+ T2 M! N2 I0 ~
8 Z0 v& ]# d) Q1 @$ \9 dHypothetical syllogism
8 A" y$ n) _2 E2 SP --> Q, 取得 Q --> R 所以 P --> R
8 V5 }: r* z- V/ l
! z% |$ v/ [& l- EDe Morgan's theorem' P% N: A q8 T8 K$ W2 s' P
~(P & Q) 所以 ~P or ~Q
! k7 r9 Z( I1 `+ P4 e~(P or Q) 所以 ~P & ~Q |
|