|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens3 e3 U' G/ y. G' ^- N$ ?" D4 C) G* T5 ?
P --> Q, 因為 P 所以 Q' Y; H+ q7 a3 v5 Z& b' U" @. b9 q/ o
% v& `4 A7 I0 j0 v# WModus tollendo tollens
* h) _' y7 a- a* C! pP --> Q, 取得 ~P 所以 ~Q, G2 @% a4 U4 O
. C h0 p5 g6 Y; S3 d" oDisjunctive syllogism
6 h/ Y y( q. Q' H* o/ v4 ~, SP or Q, 取得 ~P 所以 Q
5 K. C) c2 Y' L s: rP or Q, 取得 ~Q 所以 P1 V+ `+ ^& r2 A! z
8 t% c) J' h% L$ x ^4 q5 SConjunctive syllogism
" ~+ H1 G6 N0 J; u3 Y~(P & Q), 取得 P 所以 ~Q S* v' p9 @. }! w
~(P & Q), 取得 Q 所以 ~P
' c W1 K1 w8 |5 x! M" w
& g' \1 D' ?7 r$ v, x& u8 ?Hypothetical syllogism
5 e7 M/ j4 r+ A$ t; bP --> Q, 取得 Q --> R 所以 P --> R1 A7 R$ a: r5 n) c7 I
) _8 \4 k$ h" M5 G8 QDe Morgan's theorem! L- o% G9 f6 L+ d: \$ ~7 R4 b8 d2 J
~(P & Q) 所以 ~P or ~Q$ Z; f7 F3 l) X
~(P or Q) 所以 ~P & ~Q |
|