     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
- W" V2 O( j8 V% {% JP --> Q, 因為 P 所以 Q9 t) H2 C, M; I+ o
: f; L U& K9 R8 o4 N
Modus tollendo tollens
& I/ d7 k6 M2 O" I I: Q* I& }P --> Q, 取得 ~P 所以 ~Q
, f, ^9 `# }: [+ `5 z5 y; E1 t; |6 w% r( A. U" k. l7 H4 _ ~) F- n
Disjunctive syllogism
6 G7 f/ B3 y! S0 x, _P or Q, 取得 ~P 所以 Q4 `1 k4 i4 U2 d! P$ a; { [
P or Q, 取得 ~Q 所以 P1 R, ^9 b6 C7 t/ R- |+ e; I- R
0 `1 o" _+ x# w# y. }) M
Conjunctive syllogism' \3 M, U' {9 d- k, m
~(P & Q), 取得 P 所以 ~Q2 {7 d: o% Q- L( p$ F, ^/ A
~(P & Q), 取得 Q 所以 ~P
6 D, Z( Q, M" ~/ |
- P$ e0 k# a$ b Z9 e% yHypothetical syllogism
% a$ N9 q; a8 }& g; d+ YP --> Q, 取得 Q --> R 所以 P --> R0 q/ s! y4 C* {- a( {* F2 c- `) u
N3 ^) r* I" k# r" E) _8 ZDe Morgan's theorem
N0 C6 t+ s" s~(P & Q) 所以 ~P or ~Q
: x! }" c! {) H0 {4 w$ Q G~(P or Q) 所以 ~P & ~Q |
|