     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens# R0 u- C' ~2 t# k( d
P --> Q, 因為 P 所以 Q7 x$ w) D. ~0 c3 o8 |- s
8 {9 `4 A! U- X; p* J8 QModus tollendo tollens
1 K0 Y2 ~8 h8 m$ \6 S0 @1 GP --> Q, 取得 ~P 所以 ~Q6 l# R1 f% z9 G" f; A
6 E+ t. x4 h: W, H8 {
Disjunctive syllogism* @- N# p; {( o
P or Q, 取得 ~P 所以 Q
( b2 l+ @, b0 z- o b7 v1 GP or Q, 取得 ~Q 所以 P
1 E8 J: b+ I5 r0 b, k$ H8 A8 p8 a7 l
, h: h0 x U, D% m4 O7 GConjunctive syllogism* o' C2 r" a B6 |; l: K4 \2 _* M
~(P & Q), 取得 P 所以 ~Q
5 L! k# P) ^( ~~(P & Q), 取得 Q 所以 ~P
6 w* s2 e8 x h6 c5 E9 M
/ H8 {( v* F. H6 n' C9 p$ f# e$ L" \Hypothetical syllogism; `" v1 u- E0 J9 e; N% ^! \
P --> Q, 取得 Q --> R 所以 P --> R: m ?. U T) i8 S& w, f
$ h$ c1 r0 J5 A' Q2 T$ n! E
De Morgan's theorem& `0 Y0 c) p/ \- [% Y% p: h: x6 c
~(P & Q) 所以 ~P or ~Q
# S; _; K0 H H7 J; |1 Q4 P+ G~(P or Q) 所以 ~P & ~Q |
|