|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
. k1 `1 ~2 h+ k# L4 l: cP --> Q, 因為 P 所以 Q
! r4 U' _5 d% |4 L
4 a E& X: C% SModus tollendo tollens0 Q8 t* q+ j( F+ M5 W9 h3 S
P --> Q, 取得 ~P 所以 ~Q- ]& `9 Y9 b' J0 l4 Q. M9 Y
9 b* Q7 I3 u3 O2 G/ N9 @Disjunctive syllogism1 _% H* u- A K( ?
P or Q, 取得 ~P 所以 Q3 i9 m' ]- [9 h* Z7 N
P or Q, 取得 ~Q 所以 P
, x) a/ g% C" s' j; ~% \2 n5 w7 b5 N7 U4 k! }3 Z W. G+ D' B1 O
Conjunctive syllogism. h5 B3 ` N5 Q
~(P & Q), 取得 P 所以 ~Q
. V8 T: S# I: s8 l7 m& P& @! I~(P & Q), 取得 Q 所以 ~P
3 L; `, j" Y6 C1 V
$ N1 o; p5 O' y% g9 oHypothetical syllogism
" |% o: L) L7 b3 f" x. oP --> Q, 取得 Q --> R 所以 P --> R) E7 A& X& M- C7 R6 Y
* n- j$ P9 a5 A. |De Morgan's theorem
' Y) ^8 F' v4 v3 o~(P & Q) 所以 ~P or ~Q
) b) P! y) N% }9 f- Z1 Q' i~(P or Q) 所以 ~P & ~Q |
|