|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens! _& W' O9 C2 b& _4 `
P --> Q, 因為 P 所以 Q1 W. ^, I( b* V; Y% e& @
9 P2 C0 M! K8 T/ R" f1 t
Modus tollendo tollens6 c8 \) }' H. T( r: j+ V# H. e( u9 I
P --> Q, 取得 ~P 所以 ~Q4 s2 W9 b! | }
u, p P, \8 x- }Disjunctive syllogism
& _9 m% X3 B& a! y6 j4 BP or Q, 取得 ~P 所以 Q) B4 }5 f& f- W% H7 |
P or Q, 取得 ~Q 所以 P
# a! b9 J9 c2 a6 m# r9 _2 i% F) C& B! k5 x) p
Conjunctive syllogism
5 i6 t1 T3 H2 C5 Y5 g, \~(P & Q), 取得 P 所以 ~Q0 T8 N: R9 l. d9 P3 L
~(P & Q), 取得 Q 所以 ~P! \$ ?$ V8 f& G# y8 a/ x
. V0 f |1 N r9 Z s
Hypothetical syllogism
1 \ g# y0 S zP --> Q, 取得 Q --> R 所以 P --> R
5 o, R8 y+ t8 r
6 v# g% L$ z+ v, c2 I8 s% x8 {De Morgan's theorem. H( h, g; H9 W' J; q5 }% _
~(P & Q) 所以 ~P or ~Q7 O( S: V1 R$ t, W
~(P or Q) 所以 ~P & ~Q |
|