|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
+ Q; H$ b$ E. C) GP --> Q, 因為 P 所以 Q) j- Z; a2 P( L- \( f$ T
t3 X- A3 z" Q7 q* aModus tollendo tollens6 ~# b |# a7 m* v! A
P --> Q, 取得 ~P 所以 ~Q" ?/ c W8 b) Z
; i! `+ [; _) T* G7 I& E+ I
Disjunctive syllogism
5 }6 D2 X& L$ D" R) OP or Q, 取得 ~P 所以 Q: A; Q2 r" T* I' R6 `5 c
P or Q, 取得 ~Q 所以 P
$ D, o9 n' h1 {) c. j' D6 p; f4 i% C7 r, e
Conjunctive syllogism
- O; d* U2 [# j1 W~(P & Q), 取得 P 所以 ~Q% _9 d3 J! n7 x
~(P & Q), 取得 Q 所以 ~P$ p* f$ ?$ b' O
, t) c m' d+ X! \
Hypothetical syllogism- {% p/ D- b0 q$ n9 H9 b
P --> Q, 取得 Q --> R 所以 P --> R
: ]& ~. k' i2 g S/ [
5 P' G; W! d/ e* mDe Morgan's theorem$ Q9 K5 `& U2 \- _
~(P & Q) 所以 ~P or ~Q
3 }6 i6 D1 |# \( f8 v: t' z~(P or Q) 所以 ~P & ~Q |
|