     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
% a; s2 }* w% f$ c% h; c g" G0 r& zP --> Q, 因為 P 所以 Q
# t& B/ L1 I) q8 j& g# ]0 i" m3 ~8 T
Modus tollendo tollens
8 Z8 F; q, \* w3 Z/ GP --> Q, 取得 ~P 所以 ~Q/ m- `$ I" Y0 D' `8 Y# R
1 O: b: I; B- k$ ]. KDisjunctive syllogism3 \) ]& l$ @9 N9 `
P or Q, 取得 ~P 所以 Q4 L$ C# ?2 z; `( V j: \. L. I
P or Q, 取得 ~Q 所以 P& p# Z, B8 z) m& v
, A3 a: r. B! ~Conjunctive syllogism
- q5 G+ e1 f7 p0 B3 g1 J$ Q. ?+ P~(P & Q), 取得 P 所以 ~Q6 \ }3 M [0 N7 u& Y6 N% C
~(P & Q), 取得 Q 所以 ~P
# ^+ N4 p) A* K- w) r0 N; a
4 g: i4 d& G bHypothetical syllogism
7 ~/ i) O- k( n9 C8 y3 g2 Y6 vP --> Q, 取得 Q --> R 所以 P --> R$ l. D! m B7 F. H5 X8 b( F% U
# [% C; Z' O7 N6 z) x. ?) K
De Morgan's theorem1 E6 Z' {& w3 V: I# a0 Y
~(P & Q) 所以 ~P or ~Q. X2 @: d3 J& Q3 x, z# h6 z) I
~(P or Q) 所以 ~P & ~Q |
|