     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
H: u7 f: c$ I* n: IP --> Q, 因為 P 所以 Q
/ ~( n" Z7 S, N6 u" a# G3 R$ V$ ]$ `8 r
Modus tollendo tollens* k) R) j0 O- H) f7 m, J
P --> Q, 取得 ~P 所以 ~Q
6 x0 I, _( t ^( K8 E
: u& v# t) ?9 a* h5 h% y7 v% eDisjunctive syllogism- j/ O2 I8 u! m' {7 v$ R! `8 H: K' _
P or Q, 取得 ~P 所以 Q: \* f! Y# I0 _9 J) a- F9 p
P or Q, 取得 ~Q 所以 P
5 S! m' `8 N$ H3 F% t" a
4 ~: ?' Q( N; J7 o8 j/ j3 g% aConjunctive syllogism# ?: g# T6 R* r
~(P & Q), 取得 P 所以 ~Q
9 n8 @# {0 I3 n+ v% x3 L~(P & Q), 取得 Q 所以 ~P
& G( V5 h8 N: c7 Z$ L, R' [+ c6 b* T6 D( r2 i0 o
Hypothetical syllogism6 {; H* N# B* r' x5 c# Z, p& E& ?$ H M
P --> Q, 取得 Q --> R 所以 P --> R
7 _ l1 X" u( N" Z
- G3 W5 o$ V/ q A: D m( M: @. KDe Morgan's theorem
& g0 A9 K- I) I, i4 Q~(P & Q) 所以 ~P or ~Q; o. v& M* _" b1 B- U: z; l- i
~(P or Q) 所以 ~P & ~Q |
|