|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
* ]' Y2 h6 T1 }# _8 Z# oP --> Q, 因為 P 所以 Q/ _0 `+ u8 \" Q4 C
0 X9 v6 j4 k5 d& RModus tollendo tollens
6 N0 _% X H' t* h, @" r: [% YP --> Q, 取得 ~P 所以 ~Q2 ], J- Q& t4 Q- E* P8 {
( [0 Q6 w4 ~( }7 V! {5 p: }Disjunctive syllogism# h& b: a7 q( F6 h7 \( q9 e3 Q
P or Q, 取得 ~P 所以 Q1 p9 B, e& t |8 ]' M
P or Q, 取得 ~Q 所以 P
) F, y3 w0 J2 j- d; u Y, n. O5 ^! _! |! d! q7 U/ }9 z
Conjunctive syllogism
4 n$ d2 Z+ W% C% S- i7 `: I! i~(P & Q), 取得 P 所以 ~Q ?7 [5 H( {6 q- F' {$ v3 p$ S
~(P & Q), 取得 Q 所以 ~P2 h$ R P$ z2 Z0 }/ g3 O4 e
5 D6 ~ k3 {8 `Hypothetical syllogism
% a6 |$ C& j M3 fP --> Q, 取得 Q --> R 所以 P --> R- Y* M& G' w. p ?
/ A& {" G L1 ^# O" `De Morgan's theorem. r, c( f) r, n4 l( Q: s. O6 L( D
~(P & Q) 所以 ~P or ~Q
" L9 e2 J. Q. B9 k! c~(P or Q) 所以 ~P & ~Q |
|