     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens1 y9 F# {; w. l# t; h3 U! \& W
P --> Q, 因為 P 所以 Q
/ A2 D0 H, _( F; {
& p- R% G$ L3 v: t! hModus tollendo tollens$ Q6 C) Z" {# o4 \- o
P --> Q, 取得 ~P 所以 ~Q0 G/ G+ ?( B0 z+ b( n3 g' M% @0 W
' n/ u$ R$ l$ ZDisjunctive syllogism
7 W& u' S) c( O! x& IP or Q, 取得 ~P 所以 Q
) w2 y/ }: h* Y/ WP or Q, 取得 ~Q 所以 P
! ?/ r+ k% |- X& a/ F6 D2 s
2 p0 E7 a7 j |. P6 o3 |Conjunctive syllogism
/ ^ W7 I' |# N( O& \4 G) w~(P & Q), 取得 P 所以 ~Q
. l% ?: I$ B ~0 O6 x! N+ l8 n~(P & Q), 取得 Q 所以 ~P( C5 a9 Z& G8 Y% c' V
8 H1 d0 f3 ~3 {( IHypothetical syllogism
L, `: I0 A' O) HP --> Q, 取得 Q --> R 所以 P --> R; R( r4 T3 N" w3 P
! o- B' @; f* m5 C- q8 e
De Morgan's theorem5 E, d* b! v- b2 ^
~(P & Q) 所以 ~P or ~Q3 l1 |( |0 B2 d5 J" M9 A! H
~(P or Q) 所以 ~P & ~Q |
|