     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
. ? l4 \/ @3 Q/ N6 X1 s% pP --> Q, 因為 P 所以 Q+ K; b; @. K: C8 r# y6 V5 M( ?2 G
# I! F, v7 b8 V N- KModus tollendo tollens2 I& ]$ k% @5 v* z$ Z# A0 `
P --> Q, 取得 ~P 所以 ~Q
5 @! N: |' W- k9 v1 s0 T
* j0 W' A/ w lDisjunctive syllogism
1 f) G ?; ?; Q K7 rP or Q, 取得 ~P 所以 Q* u, V. @% h0 x' l. i% H* w: T
P or Q, 取得 ~Q 所以 P7 V/ p4 i; \6 Q7 \1 b( x
0 _5 j5 N$ b; Z0 ~Conjunctive syllogism
/ Z& i: s/ @& X/ E0 S~(P & Q), 取得 P 所以 ~Q
) |# }7 N1 v& T# G~(P & Q), 取得 Q 所以 ~P z9 {0 j; y# {( q4 _
9 v4 i9 @1 d5 k# f, f, W" O2 q9 f
Hypothetical syllogism
$ }) H5 x& X6 Z7 N- K; L- \9 j, qP --> Q, 取得 Q --> R 所以 P --> R
! H7 `$ _$ }+ ]$ H' d+ [* j k% f' O: S+ H' u3 ^
De Morgan's theorem
% n! s a6 [8 F: P4 u j~(P & Q) 所以 ~P or ~Q: z& g8 v& p2 [! O6 s8 ?1 M6 h
~(P or Q) 所以 ~P & ~Q |
|