|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
6 r' h& A: b( vP --> Q, 因為 P 所以 Q, [; g$ Y l4 @) n
& B* r" L' Z' p3 V
Modus tollendo tollens
' ]5 z' w$ l" ]0 sP --> Q, 取得 ~P 所以 ~Q
6 A2 n6 I8 ]1 q% A1 b8 m6 Y. U$ x. q
Disjunctive syllogism9 \+ B6 M/ |5 f' ?6 E
P or Q, 取得 ~P 所以 Q
$ \5 o* } v" K: z. I G' gP or Q, 取得 ~Q 所以 P1 e3 [- C6 P$ g* o
" K. {7 C. z& H" jConjunctive syllogism: i J' S8 j9 M7 y! C
~(P & Q), 取得 P 所以 ~Q- g3 K b$ ]9 W% Y
~(P & Q), 取得 Q 所以 ~P
* j* K' w/ V1 f0 w, D; y7 |/ F4 U1 {, n6 i. a( ?" n
Hypothetical syllogism
% k0 N( Z9 S- C/ K mP --> Q, 取得 Q --> R 所以 P --> R
1 b. D/ e6 `* o8 D) }- B( Z
/ B) U* G7 K9 g, TDe Morgan's theorem
2 M( B6 ~* x% r4 z/ d/ E~(P & Q) 所以 ~P or ~Q
$ O @" z8 A C J F& l1 E6 u~(P or Q) 所以 ~P & ~Q |
|