|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
0 Q6 Z; C: J" p$ c& ?, QP --> Q, 因為 P 所以 Q7 l! R) g" P, X% y; S# \5 v
0 b9 _* v4 w5 c4 n
Modus tollendo tollens' b+ H- \/ O8 |0 M! w
P --> Q, 取得 ~P 所以 ~Q8 D: ]- F+ W7 }
9 W2 a, R) f4 j6 u+ F8 HDisjunctive syllogism/ Z! f3 U2 `0 |- u5 m9 v
P or Q, 取得 ~P 所以 Q
s" b7 `9 X* eP or Q, 取得 ~Q 所以 P% X4 t7 n8 h B
/ s( \9 s1 Q9 }2 T9 }Conjunctive syllogism3 X9 G) l) \# e4 }, E3 u8 h! ?
~(P & Q), 取得 P 所以 ~Q+ {: y' }- v d; Q5 k
~(P & Q), 取得 Q 所以 ~P( p2 ~: t; I- Y3 T, P- N
) o2 N$ |4 T9 p' S, AHypothetical syllogism
9 K5 y, [1 v3 t% M {6 @1 pP --> Q, 取得 Q --> R 所以 P --> R1 K M( ]0 M. W! u; T" f; l2 j, Z8 j
1 o; E) C: k1 {* ?1 O G4 e+ ^5 ^De Morgan's theorem
c1 D" t- ~9 [2 Z( c8 v~(P & Q) 所以 ~P or ~Q: X0 s" D1 k( T" F3 `' h
~(P or Q) 所以 ~P & ~Q |
|