- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
9 Z- x7 ], s3 ~: V. l1 DP --> Q, 因為 P 所以 Q$ z8 E/ f: R7 O/ ?; I
7 S1 E$ c9 O4 w! \4 m8 Z9 A
Modus tollendo tollens
+ J" \9 C5 t' J7 N2 DP --> Q, 取得 ~P 所以 ~Q. \% ?( i) N' ^) P4 A$ r
4 }$ m4 o: E: P2 @Disjunctive syllogism
$ a2 Z" g2 i1 W( x5 D7 s, hP or Q, 取得 ~P 所以 Q% W ?0 E" |( d* a, z' t* U% u# }
P or Q, 取得 ~Q 所以 P
s2 E+ a- K8 `" e% \; t) E7 ]* a$ h3 D/ ^/ ?
Conjunctive syllogism' H' \. p; M- a& r) X, s9 o: e
~(P & Q), 取得 P 所以 ~Q
9 D' [' F7 f+ r, X ?~(P & Q), 取得 Q 所以 ~P
: F+ D4 J3 B6 [( }" ^( d4 I0 y7 s4 D. U) m
Hypothetical syllogism
* R8 f& I4 I! |0 j- I" s0 s& A2 }P --> Q, 取得 Q --> R 所以 P --> R
& b+ I% O, h) d2 Y, U2 `: c% l
& x" _% ^* `8 s2 QDe Morgan's theorem
/ q9 A% p: g; g. b* A4 I/ N! s~(P & Q) 所以 ~P or ~Q
! c% w" h% Z( Y' x. |~(P or Q) 所以 ~P & ~Q |
|