|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens
& z/ X0 g' j* i) H! W" I3 fP --> Q, 因為 P 所以 Q+ l N0 }8 }" ]% Z
& g# O* h: {3 ]$ P" q/ |
Modus tollendo tollens
& v9 n& e, Z5 m2 j5 _" |% x. J$ b- wP --> Q, 取得 ~P 所以 ~Q: W V$ J4 Y+ _
7 ?7 N! |6 j0 A; \8 F& ^6 sDisjunctive syllogism4 S7 w& |& A" X
P or Q, 取得 ~P 所以 Q8 u5 H$ s+ D" Y; A* z: Y5 p
P or Q, 取得 ~Q 所以 P5 L2 G9 H* [! g' a+ Z3 \7 C
0 l5 L1 k& V& }, UConjunctive syllogism
1 y: `: F* j6 {: }" m8 q~(P & Q), 取得 P 所以 ~Q+ i5 e9 N2 W) g# P
~(P & Q), 取得 Q 所以 ~P& H: d7 I0 h5 n( h' M
6 t, k) J9 G5 }/ y" `. N$ eHypothetical syllogism
: ~8 l& F$ K' f4 K, d2 I* OP --> Q, 取得 Q --> R 所以 P --> R) \; Y( K- M' t! ^" g+ A. j# A
# f1 P2 c1 P* h- d# C- x. G& _; v/ H
De Morgan's theorem. j$ L5 U- U x* c4 g! T
~(P & Q) 所以 ~P or ~Q
# q) y: F" x5 m: U~(P or Q) 所以 ~P & ~Q |
|
