|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens1 D q7 Z C1 b3 v: y5 W
P --> Q, 因為 P 所以 Q% G8 M2 r2 g! J& v; b2 K' Y
6 e6 q. Y4 {# w# H' UModus tollendo tollens* @8 t1 Q: z C& k- R
P --> Q, 取得 ~P 所以 ~Q e! [3 t7 F4 I+ G1 S# m B7 l
) w) A) d3 L6 j9 FDisjunctive syllogism. ]3 E1 T* U# P5 ~
P or Q, 取得 ~P 所以 Q
g7 U+ t# i% t% J8 y# N4 bP or Q, 取得 ~Q 所以 P/ [9 Q0 @; H+ z! }/ s4 N( h
6 Q# z% {7 k8 J( R" {# m
Conjunctive syllogism6 z" k q ^" n0 O
~(P & Q), 取得 P 所以 ~Q& U! ^+ \) Q! k( P5 ]. z2 n- a
~(P & Q), 取得 Q 所以 ~P
. ^% r3 W& E; P$ P. }
% d7 y0 q. P( h7 g% [- r- I) LHypothetical syllogism
7 d# `* y! V" {/ s. `+ ~P --> Q, 取得 Q --> R 所以 P --> R
D9 N& ^; H- ^ q
- p$ v! t2 D' H7 W8 C. s, sDe Morgan's theorem$ m, ]8 T5 n5 `$ l% c' k2 N
~(P & Q) 所以 ~P or ~Q
8 c7 o8 r" y1 v~(P or Q) 所以 ~P & ~Q |
|