|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
% M9 t- I' _: @: s5 SP --> Q, 因為 P 所以 Q4 D& Q2 M3 P9 ? _
9 o6 D& V6 Q5 r9 N: a) GModus tollendo tollens
$ S# i* {9 `- F, R! WP --> Q, 取得 ~P 所以 ~Q/ q0 ?$ q, |' `" g# B
) y- `8 t+ K6 y5 l- I, C
Disjunctive syllogism
. |$ `; T0 T R& J- x! D+ `3 CP or Q, 取得 ~P 所以 Q
0 ~$ y. I( c8 P/ W4 c, P d6 l* ]9 |P or Q, 取得 ~Q 所以 P) c. z. T8 }/ [6 X; O
+ `5 E7 Z6 d6 |, n5 ?! T9 _) Z' [* F; gConjunctive syllogism
1 Z% h6 ]# C2 ]6 I" v~(P & Q), 取得 P 所以 ~Q
0 a: e5 N' v2 B- k1 t~(P & Q), 取得 Q 所以 ~P. L+ }+ d" C9 T
' p3 G2 {6 y5 r5 h' u2 W$ W
Hypothetical syllogism$ o$ f( F6 G3 b9 \4 P
P --> Q, 取得 Q --> R 所以 P --> R. Y6 j- O2 P: t& `2 e# }7 Y
8 ^% I+ J* [" I, A. b* M- a, ]
De Morgan's theorem
; b& B& q$ p* C~(P & Q) 所以 ~P or ~Q5 j9 O1 T3 e' `; W
~(P or Q) 所以 ~P & ~Q |
|