     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens: J/ W8 }5 M, H+ M
P --> Q, 因為 P 所以 Q$ V! d# C- L) g* t# N x
* P# L- R. P# @+ A9 u+ L* J: L6 m. oModus tollendo tollens
# H- D, u- C$ s' a9 q% i8 h0 GP --> Q, 取得 ~P 所以 ~Q9 s4 x3 x y6 f2 h
; i1 i( {4 n& [# _( k: C$ e2 f
Disjunctive syllogism
- S. e1 M! f0 A* G" D# \- g) u1 ZP or Q, 取得 ~P 所以 Q
! {5 O! o: A; |9 `" aP or Q, 取得 ~Q 所以 P4 l$ l7 |. a1 s1 h+ f
& E8 L1 M4 @1 {
Conjunctive syllogism' [/ l' h1 t; E8 ^, i/ T
~(P & Q), 取得 P 所以 ~Q
2 n4 n W, S) S& E/ a~(P & Q), 取得 Q 所以 ~P0 k8 ?/ S5 e7 o0 I
8 V: ~8 j4 O/ l/ N) r3 c
Hypothetical syllogism) l, [$ k. S8 [0 o% e
P --> Q, 取得 Q --> R 所以 P --> R# Y8 [4 t1 k3 ~6 y- W
( ~9 H' {+ J9 |6 Y9 r; Z
De Morgan's theorem
% o2 H, f; s4 G9 O* g~(P & Q) 所以 ~P or ~Q
# T( l" C0 @+ @% x& f' ]~(P or Q) 所以 ~P & ~Q |
|