|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
# }( O1 w+ W$ K- eP --> Q, 因為 P 所以 Q, {5 x! O3 T1 R& Q& d: g, `# q
& A& R" M! `9 f- H! cModus tollendo tollens
8 J7 O! o; M% X1 K8 P9 DP --> Q, 取得 ~P 所以 ~Q
* N4 O6 z q" ?9 _. V) Q% F1 q
Disjunctive syllogism
$ v- C7 F$ I( X9 t% R0 oP or Q, 取得 ~P 所以 Q7 e& ?: h4 B9 o# @
P or Q, 取得 ~Q 所以 P# Z6 Q3 I8 X3 |+ D" F" Z3 [
. Q9 N7 B& y! G4 w6 QConjunctive syllogism
( `7 s& t% h' |. Y: T+ g8 M~(P & Q), 取得 P 所以 ~Q
" |* [; @$ m% A: ~2 K~(P & Q), 取得 Q 所以 ~P
+ |" @( L* N' O$ ~" O
$ h2 t* Z2 k( N+ F g* KHypothetical syllogism
# H2 D' X* f/ m" L" ~) \" F9 iP --> Q, 取得 Q --> R 所以 P --> R- G' p$ `# u" R- j
f1 w' G- K! t( k
De Morgan's theorem
: S0 @1 o% f. k5 \+ q: t0 U~(P & Q) 所以 ~P or ~Q: E! p# P" [" P0 _. T2 [
~(P or Q) 所以 ~P & ~Q |
|