|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens% q/ x! I @' f1 Z
P --> Q, 因為 P 所以 Q6 a3 h6 d3 n3 e" f. a8 H; \
' Y& ^7 l9 m# U
Modus tollendo tollens
% _- F9 G: E [3 n% s d! ZP --> Q, 取得 ~P 所以 ~Q& D3 S3 _, X( ]
) @+ a7 z7 P) b1 c& s6 X$ X# L7 ~1 P. dDisjunctive syllogism( g3 z4 P4 O0 z$ v0 J' N" _* v4 [
P or Q, 取得 ~P 所以 Q5 [) d3 \& T% w" } V( r. J
P or Q, 取得 ~Q 所以 P x9 @7 a5 N( @4 w( t5 m. f3 ? D/ Z1 [
! ~3 b: k" M9 D& i$ ~Conjunctive syllogism
0 A2 ~8 r8 a% e+ K& q& a~(P & Q), 取得 P 所以 ~Q" G* K' t2 _# B; o
~(P & Q), 取得 Q 所以 ~P
, E9 V* {8 k0 U7 v8 X) ]7 p: c9 i! t% w6 I* l
Hypothetical syllogism) j1 G/ Y* J/ w: Y+ j! F5 o
P --> Q, 取得 Q --> R 所以 P --> R
7 V1 Y4 P6 B" S' e
* K. A* ]9 Q/ m) W$ V, {# Y* eDe Morgan's theorem
: a1 Y; ]% f) I2 z* ^/ k9 b4 U~(P & Q) 所以 ~P or ~Q1 ?6 K% F* q. Q5 V- l
~(P or Q) 所以 ~P & ~Q |
|