|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
: O) ]9 h/ s" Q/ L! vP --> Q, 因為 P 所以 Q
) ^* _6 ?7 w" x& W- I6 B4 b8 V3 I3 V. {( e; a, o3 z
Modus tollendo tollens
0 M: ]* O$ z A; dP --> Q, 取得 ~P 所以 ~Q1 R: L/ \# S( o- i& M
O9 M7 e3 S# F% }& q
Disjunctive syllogism: E3 S/ W2 @3 s0 U. `0 Q4 ^; p
P or Q, 取得 ~P 所以 Q
i7 I U& V7 C. Y' f* bP or Q, 取得 ~Q 所以 P
% D& D" ]1 N# l3 ]7 n) Z" ^+ }% j6 d3 X1 k- e+ V+ t
Conjunctive syllogism' t$ Q# M$ y- f! A3 k8 n( O
~(P & Q), 取得 P 所以 ~Q0 R$ }, K* ?6 E" ~
~(P & Q), 取得 Q 所以 ~P7 l* c. l- Q6 z; p4 H
- o4 X! s/ H; s# V& ~6 t1 L
Hypothetical syllogism) s' r5 j$ K2 q4 u A/ p7 G: |% ~
P --> Q, 取得 Q --> R 所以 P --> R4 l" z2 O, a: _6 L5 ?$ g4 d+ a9 M5 y
" G5 o: O0 d/ |' U
De Morgan's theorem( h& w9 z% U6 P5 o7 R
~(P & Q) 所以 ~P or ~Q
1 l; ~( J& N- l( N~(P or Q) 所以 ~P & ~Q |
|