     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens ^- b( O9 }4 Z% \# @' X
P --> Q, 因為 P 所以 Q) M1 @( `9 N2 E6 P: p- b
' C, k# D3 V/ O# ^ N
Modus tollendo tollens. b: j8 {0 k! P0 a9 v9 v. t6 V
P --> Q, 取得 ~P 所以 ~Q8 U6 p- i. }1 Q1 U2 m
+ a& v8 W+ X5 ?# D+ D. j
Disjunctive syllogism4 ]2 p- n, ~& b# S
P or Q, 取得 ~P 所以 Q
K$ P# ^1 i7 _9 f& @P or Q, 取得 ~Q 所以 P
- w& h0 H1 j0 H+ @. ^: Z' _ h- ~5 X2 A! S
Conjunctive syllogism% ]$ V- o! n! t& i! n# _; ~2 s0 E
~(P & Q), 取得 P 所以 ~Q. }$ o$ W$ T% j2 ]4 M. n8 j
~(P & Q), 取得 Q 所以 ~P0 O6 a- ?' b( N& w6 B$ f. ]9 `
. J, E% w5 U7 p$ |Hypothetical syllogism
4 @/ n5 X% u8 D1 w m# P& xP --> Q, 取得 Q --> R 所以 P --> R
. Z$ X6 y7 T& s$ @( J0 p# ~
/ |3 R+ s4 {! ~5 `: ODe Morgan's theorem
^. F* S& w1 u~(P & Q) 所以 ~P or ~Q9 |' q0 V& |: U6 o
~(P or Q) 所以 ~P & ~Q |
|