- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens$ W3 i% P) B; D7 G- s
P --> Q, 因為 P 所以 Q9 E6 e6 {2 @6 n8 K; B. ]. B
; g- ?3 y P1 m1 a* lModus tollendo tollens
! A' v: E$ V, rP --> Q, 取得 ~P 所以 ~Q* x% ? L. z X( T+ V1 y* t
# q; G) E# q( ^+ H- hDisjunctive syllogism& {' ~ w1 r+ W' l5 Z6 F' W
P or Q, 取得 ~P 所以 Q
h1 r2 A, @! s- w( M/ YP or Q, 取得 ~Q 所以 P
: p: j% ]$ _& N4 I! H" o7 v/ H- q* F- [- b5 B" {' b
Conjunctive syllogism+ A8 {: [4 G* C: `, b9 c
~(P & Q), 取得 P 所以 ~Q. k5 e0 S8 _9 c# ]4 o
~(P & Q), 取得 Q 所以 ~P
2 p% Q7 P3 Y+ B! y; ], |6 V- i
' x0 h7 `' h: @ ?Hypothetical syllogism
$ Q: s/ m6 @# I2 ?) o7 _/ kP --> Q, 取得 Q --> R 所以 P --> R
r1 H \% R8 s; N, T# ^! B& A! l) f( [, G5 X
De Morgan's theorem
. F4 N7 h0 Y1 p9 S+ m: r~(P & Q) 所以 ~P or ~Q) k; O# x) N) l- l# s8 f# w
~(P or Q) 所以 ~P & ~Q |
|