|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
% F1 H j/ q0 I/ ]+ y- |6 OP --> Q, 因為 P 所以 Q
2 {- t2 {2 Q/ }; _, L# A( E H: u! _% Y0 N; v0 [0 h* |5 f" ^
Modus tollendo tollens9 Y' S! \4 ~ }" B8 l2 {3 I' c
P --> Q, 取得 ~P 所以 ~Q, X0 q9 [( }" z( }; u& c9 w& P
6 x, X/ M3 q: _) D9 e% p9 E" yDisjunctive syllogism
0 D1 M$ Z- |: ^: u( i6 uP or Q, 取得 ~P 所以 Q2 D; }9 g0 `) [6 X) p' X5 z! U
P or Q, 取得 ~Q 所以 P
" v4 _* z9 f, o, a" d, ^# `# l0 N. n. q+ ?
4 G- I2 i$ K% R* K n. a, M) PConjunctive syllogism
8 U5 \: H* K2 _8 _: E~(P & Q), 取得 P 所以 ~Q
h+ {5 | ~1 Q+ k~(P & Q), 取得 Q 所以 ~P
* `; B' v1 C* m5 p
: D# h" f2 Q& s- k8 C0 [" FHypothetical syllogism
) m4 L# R9 ]7 g6 s3 zP --> Q, 取得 Q --> R 所以 P --> R4 b/ }7 y K( L: d- J( Q
6 x( ]# C$ D% M0 [& G+ C! l: {6 c
De Morgan's theorem G, G. u1 a7 F7 ~1 u
~(P & Q) 所以 ~P or ~Q
5 M+ }, @! a7 ]/ p! M% Y$ g. D~(P or Q) 所以 ~P & ~Q |
|