|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens2 M9 G o7 e2 m% h* M& F2 k$ }: n
P --> Q, 因為 P 所以 Q
+ z% u+ f) x% }$ `# `' ?
( X1 h. m9 ?! N( d' J5 N& C+ tModus tollendo tollens$ r+ ]+ n8 H" z* D; z3 o
P --> Q, 取得 ~P 所以 ~Q
) H( {' u" B# w! B0 U- q. M
& k ]" z s' Q7 B& j' C% B9 a( |; HDisjunctive syllogism7 ~7 r- n% @$ s
P or Q, 取得 ~P 所以 Q
. Z5 @& \! ?- w- S; EP or Q, 取得 ~Q 所以 P$ J' d" j0 y/ y9 |' P5 [( G' }
( C* X( u$ |1 Z4 f, G
Conjunctive syllogism& ^( {, }$ A1 W! A, A
~(P & Q), 取得 P 所以 ~Q
. P/ p4 {' S6 [* K+ {0 @~(P & Q), 取得 Q 所以 ~P
4 e0 ^. R$ W! T4 [, j$ a
; D, Y4 s/ j t; T6 EHypothetical syllogism& `- c, t/ g* g6 A( d; `7 S0 P# e
P --> Q, 取得 Q --> R 所以 P --> R
2 R- z. h# d- S5 q1 I4 N, q; @/ |# Y# w) [2 G# S1 J
De Morgan's theorem1 z; w* D! ~% T2 q, p0 s
~(P & Q) 所以 ~P or ~Q
4 @# t) t, E7 L" g$ q" m# w~(P or Q) 所以 ~P & ~Q |
|