|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens. S l- z8 ~" k0 G
P --> Q, 因為 P 所以 Q; y0 g' x1 }& ]' n2 K, v
% L3 q' S. Y" Y1 J) o+ a8 D' R fModus tollendo tollens
; W% g& E, |: TP --> Q, 取得 ~P 所以 ~Q+ {/ K2 S( `; s
: p0 c, [" \% ~& I6 u2 A5 eDisjunctive syllogism
* l" Y# K0 r2 u8 \$ xP or Q, 取得 ~P 所以 Q! ? X0 b! B0 ]" u6 b9 T
P or Q, 取得 ~Q 所以 P
2 h+ i7 Q0 O& }: q- g" y
. u3 W: S" t( i$ }Conjunctive syllogism
1 O6 a+ ~' e& u3 ~~(P & Q), 取得 P 所以 ~Q/ Y. M1 W) b( W8 x N' k# K( y
~(P & Q), 取得 Q 所以 ~P0 C: }6 R' f4 ~( o$ y
; q6 @6 w/ w) X3 k4 M
Hypothetical syllogism
0 W6 b5 l& y# I4 [( VP --> Q, 取得 Q --> R 所以 P --> R
0 `: H, q* m. n' S8 b( g# ?9 c8 r; w" W% x& x3 c
De Morgan's theorem' x8 Q6 l0 h' _, P- N& l* y
~(P & Q) 所以 ~P or ~Q6 B2 {. m2 A0 f9 w/ j8 |/ f8 Y$ c
~(P or Q) 所以 ~P & ~Q |
|