|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
$ A+ s1 d' @& h" P9 o; w. b1 BP --> Q, 因為 P 所以 Q
% R- i/ B5 |' v3 ]4 d( Z9 U+ ^7 H0 a5 R; t# E& r9 u1 ]4 q
Modus tollendo tollens, d, X3 V4 P1 z( }
P --> Q, 取得 ~P 所以 ~Q: K! w8 T3 p$ u7 u. R
8 `0 ]0 E/ r+ m
Disjunctive syllogism0 M; e2 d1 X; `
P or Q, 取得 ~P 所以 Q9 G. _3 T0 D7 r. C1 Z' D
P or Q, 取得 ~Q 所以 P
. V* G" U- t: \4 {3 W7 O& e v" M5 Y# m7 q2 G9 S
Conjunctive syllogism! I* n, t, p* l
~(P & Q), 取得 P 所以 ~Q
/ g' X* A7 @6 @' R) X~(P & Q), 取得 Q 所以 ~P; `3 Q, g5 V: U6 G3 Z
: R' Y0 m2 N. ]: M; xHypothetical syllogism# ?3 y& s) J) l2 w
P --> Q, 取得 Q --> R 所以 P --> R% \0 F$ _' v8 s% O& T) j
# E1 f! Q8 }! P c; I2 `
De Morgan's theorem6 C( k8 |8 `0 k
~(P & Q) 所以 ~P or ~Q2 ]8 G2 ?/ D( w0 s! J
~(P or Q) 所以 ~P & ~Q |
|