|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens0 m6 W [# V) q. ~' I; D
P --> Q, 因為 P 所以 Q
& S- e! p+ a. U* S o" U
$ H. O. B# {0 l9 I! X+ V8 z6 ?, gModus tollendo tollens
& h- l0 h6 d4 M1 SP --> Q, 取得 ~P 所以 ~Q0 q; |: N5 ^( e( u
3 z* t1 c1 X, \# hDisjunctive syllogism7 ^$ Q1 W9 c/ ]9 u( f' j7 r' P
P or Q, 取得 ~P 所以 Q% A% \" M1 E# W9 E
P or Q, 取得 ~Q 所以 P
& J1 b; }! O4 u) Y9 n! F* [* F3 }, o- H$ o' Z
Conjunctive syllogism) r6 o- C) U. b A
~(P & Q), 取得 P 所以 ~Q) C# ]9 p1 F ~5 F, f
~(P & Q), 取得 Q 所以 ~P* E- ^& p* H4 A- P
! h: P8 d* k3 p' C$ J- v
Hypothetical syllogism
1 X. d+ q# {/ s0 ^. b2 K7 Q$ XP --> Q, 取得 Q --> R 所以 P --> R
9 O( r! r- @% q: X) H8 @+ W: C' w8 n* T) z: c: E
De Morgan's theorem
l# n$ F* f* p1 J z7 c~(P & Q) 所以 ~P or ~Q
- }2 p1 g( ^; a! @& y& R- d~(P or Q) 所以 ~P & ~Q |
|