- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens+ _. C% B3 Q, y: ~; g9 v; Q9 h
P --> Q, 因為 P 所以 Q
9 D9 |1 ?4 e$ `" ~( \: ?
& [5 v& T K( k3 r9 NModus tollendo tollens4 E3 m* Q# m0 ?% `
P --> Q, 取得 ~P 所以 ~Q% K Y8 P& r# j$ C# Z: C' v/ V
" Y7 d9 y3 x2 v4 n/ _
Disjunctive syllogism% C1 @& T- j* Y; j
P or Q, 取得 ~P 所以 Q
* d; h; d {7 q. ~ r( \P or Q, 取得 ~Q 所以 P
3 ~7 \( Z! A: @3 g, J: [, k
7 B0 q) Q9 a8 ]* f$ n( [Conjunctive syllogism
# U. u U' g, \! a! q: P0 c~(P & Q), 取得 P 所以 ~Q: R- S4 Z0 M8 C
~(P & Q), 取得 Q 所以 ~P
) J8 A. ~. b8 b* |4 ^! @4 L, p7 u8 b* ?% R( o
Hypothetical syllogism3 \1 L7 {# I( `; Z, f L
P --> Q, 取得 Q --> R 所以 P --> R$ `8 b' t1 Q! {1 A. X- |
& Z9 J+ x& x5 [& j. r- ~
De Morgan's theorem5 b; { j) Z& G' n
~(P & Q) 所以 ~P or ~Q; h1 H" ~: _/ S6 h, o. l7 y
~(P or Q) 所以 ~P & ~Q |
|