|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
I" O A% o: w; L$ h2 aP --> Q, 因為 P 所以 Q
- Z' {. V! J8 E7 u" E) h
9 h3 l! T7 c1 ]7 f. CModus tollendo tollens
) |8 G0 p; E- W3 ]P --> Q, 取得 ~P 所以 ~Q
& u; A+ A7 o! }6 y7 u; ~6 R+ J5 i7 X- {8 @8 \8 m" _- f' ?) J
Disjunctive syllogism: P+ m4 O) @7 s$ j+ M2 M
P or Q, 取得 ~P 所以 Q" l' p1 e, K& Y: j
P or Q, 取得 ~Q 所以 P
9 a9 _9 D) U: P: k: ^
; G, h& c! I( J3 R. ^! i6 n; cConjunctive syllogism
: K, M8 j. w$ X~(P & Q), 取得 P 所以 ~Q6 m6 O7 d4 n0 A) i: a6 w
~(P & Q), 取得 Q 所以 ~P" V/ t+ O6 V4 z# _% |5 M1 q
M6 W' J" a( k; x
Hypothetical syllogism o, p3 ^% c) Y+ i7 M
P --> Q, 取得 Q --> R 所以 P --> R! L; \6 B9 Y- ~8 ]( @& q
& A4 m2 s* x2 [4 m
De Morgan's theorem' `8 s/ }( O8 {' ]. |
~(P & Q) 所以 ~P or ~Q
% V( @, ~" V; y2 s~(P or Q) 所以 ~P & ~Q |
|