     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
8 A6 U/ p: O5 s" j) j3 rP --> Q, 因為 P 所以 Q
) y4 p/ G+ M v/ s0 G2 v1 x& Y: R1 Q) j2 j+ F1 |3 F+ D( A
Modus tollendo tollens9 R6 `5 U: c$ h" f
P --> Q, 取得 ~P 所以 ~Q2 L5 v+ {" x1 \2 |8 d
. f- i* M0 Q* W' y
Disjunctive syllogism
" ?$ U2 U$ ]* c/ K8 e7 pP or Q, 取得 ~P 所以 Q- Y4 e3 }) i7 M3 g
P or Q, 取得 ~Q 所以 P
' e8 K8 |* V- A6 x3 H4 l8 r& ]) @2 J! e
Conjunctive syllogism
$ b) k% W0 q( ~$ o, F) B1 @( v/ H~(P & Q), 取得 P 所以 ~Q
# V% D( x' H0 y~(P & Q), 取得 Q 所以 ~P
' G6 L6 S( K J& B8 E( h
V- @+ N- ~, f5 g+ GHypothetical syllogism7 d5 q0 o3 j: c, \; [
P --> Q, 取得 Q --> R 所以 P --> R& U/ B6 j# _4 U3 V0 Q
; L3 y0 O, m4 y1 f6 A) Q
De Morgan's theorem
* F1 N8 D" B1 D$ h# @$ `: k$ h1 n~(P & Q) 所以 ~P or ~Q
8 ]1 v4 y# B( ^) A~(P or Q) 所以 ~P & ~Q |
|