- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
. b0 v: \ ]. a) O$ XP --> Q, 因為 P 所以 Q3 Q; P( |2 t" C, m( A
% A! [: E3 S. i, ?7 m
Modus tollendo tollens- S4 b% `) Y0 [) A$ o
P --> Q, 取得 ~P 所以 ~Q1 l3 M% T7 z8 A5 _# G
, Y' Q2 w& [& _: o, N1 |" v
Disjunctive syllogism6 Q( I" s4 V* w% Z% d
P or Q, 取得 ~P 所以 Q, g" H, `3 @( \
P or Q, 取得 ~Q 所以 P
0 k, i+ u8 Z$ s$ ^1 K2 O' ~" o
$ |- Y& ~+ G: I+ p2 _: `6 IConjunctive syllogism# W# }& m- `) t [5 o
~(P & Q), 取得 P 所以 ~Q
3 ^3 S' H, E2 @) x6 \6 k~(P & Q), 取得 Q 所以 ~P
3 `+ g u0 O8 K6 u! S, y# I! ^3 L6 n, b6 K: I# J/ i
Hypothetical syllogism0 f+ R$ u. E- G( N8 r7 S N3 \
P --> Q, 取得 Q --> R 所以 P --> R
/ X; H! {. K' E% l- V7 N8 ^
5 w S( s7 ^6 K k N2 rDe Morgan's theorem
" X, h, o5 ~$ ?& M( w~(P & Q) 所以 ~P or ~Q
, u$ O$ I$ d- S! n# ~: M8 R( s~(P or Q) 所以 ~P & ~Q |
|