|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens5 c1 c- w4 W0 J; g. D5 r9 K
P --> Q, 因為 P 所以 Q7 g! \0 j a4 \1 x3 @
; H% \1 f0 O7 D
Modus tollendo tollens
1 t# O0 H4 f4 a: wP --> Q, 取得 ~P 所以 ~Q$ j/ E3 t& ]: Q2 V0 P
9 U0 _/ [7 T8 v* q8 D* r6 Q4 s9 q
Disjunctive syllogism: i/ N. M( X+ D7 U0 e
P or Q, 取得 ~P 所以 Q
% S: H }2 `' E1 N) `P or Q, 取得 ~Q 所以 P
9 v% D( ?) p( w. |0 C* v* u0 M6 y5 r+ `0 Y6 L
Conjunctive syllogism- o: p2 a# i1 x/ ~ F
~(P & Q), 取得 P 所以 ~Q3 ]2 ^+ E. A5 N
~(P & Q), 取得 Q 所以 ~P' {. j& k5 w& { ~" y
0 e2 N- b: ]; l
Hypothetical syllogism
2 }- \8 Z) L5 P; ]' d' v) \$ dP --> Q, 取得 Q --> R 所以 P --> R
) Y/ ~. ?: p1 T/ `
. ]$ ], ~( }# y+ ]: D: Q& y' [0 pDe Morgan's theorem, `) Y& n+ Q, I# d# k
~(P & Q) 所以 ~P or ~Q& R2 H* n& ?6 H: R0 F
~(P or Q) 所以 ~P & ~Q |
|