     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens3 u0 ^7 R# p+ b% N6 F4 s4 ?, }1 A$ v
P --> Q, 因為 P 所以 Q
5 I) F1 U* ]: ]- z i
9 `0 S! o6 W' ^Modus tollendo tollens- w7 N' J; r* |+ q
P --> Q, 取得 ~P 所以 ~Q
) N+ d% c J& N7 z6 x2 E9 }% D
( H$ |- P+ @+ Q) }, ^& q) Q: v7 YDisjunctive syllogism
, |9 h. j+ n+ G; u1 wP or Q, 取得 ~P 所以 Q
$ P* m$ V$ U( T( V7 y) ~, A# VP or Q, 取得 ~Q 所以 P
1 x2 s0 U8 i" D- b4 {- f2 m7 e
4 Q+ Y3 B- n, i* p3 dConjunctive syllogism
# P: e0 I# J* U! d3 s, n~(P & Q), 取得 P 所以 ~Q# l, e" i6 E% k
~(P & Q), 取得 Q 所以 ~P
. T7 q, O# h( d$ G. b9 ^
0 ^ y: p+ u3 J, ^Hypothetical syllogism! ], \4 d) |' ^
P --> Q, 取得 Q --> R 所以 P --> R! [$ z9 Q: E ~# `% i! h
/ ^# d, v( B9 L H( i' ]* EDe Morgan's theorem4 {4 x" ^( Y3 x
~(P & Q) 所以 ~P or ~Q
* B7 T }( S4 m: U# ^~(P or Q) 所以 ~P & ~Q |
|