|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens& n8 E" `" q% e1 @! S" f' d6 G
P --> Q, 因為 P 所以 Q& S! v; ^ U* }* t5 K
: S: s9 _3 g6 K0 x+ @Modus tollendo tollens
* `; Q; _1 n8 J, {. UP --> Q, 取得 ~P 所以 ~Q
. w1 G4 r- n* i# x; n. w
1 W6 \6 v5 q' ?9 s5 m0 hDisjunctive syllogism/ h! G J3 f4 h, S3 N- Q
P or Q, 取得 ~P 所以 Q( F7 X7 l# j9 K$ l
P or Q, 取得 ~Q 所以 P
- d$ m5 B) B5 |0 b4 ?! j
. D' Y3 H6 N4 {: G2 {! s) u! S2 pConjunctive syllogism
& y4 a |0 l- y' g# o$ b, s5 {/ \~(P & Q), 取得 P 所以 ~Q. S" m/ b7 H& ~% I2 j5 X1 _4 T
~(P & Q), 取得 Q 所以 ~P
$ F4 H6 E: r$ v
+ x% L- Q+ R; x$ t$ lHypothetical syllogism1 Y% y3 `' Y& M3 `3 d+ ?
P --> Q, 取得 Q --> R 所以 P --> R
9 P2 }: C- b1 K! U0 s
8 {6 {, `- @" l2 B% A" GDe Morgan's theorem
# ]8 H- W7 ^) a+ O~(P & Q) 所以 ~P or ~Q/ J& Q% t, F0 W7 ?, r
~(P or Q) 所以 ~P & ~Q |
|