|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
+ g) m% c6 ?- S3 ~P --> Q, 因為 P 所以 Q
! a" n, |4 t/ Z" q2 y: z; m7 R/ i; R( J9 Z# A
Modus tollendo tollens
/ g6 C$ s- H0 K, N4 e, z( o5 SP --> Q, 取得 ~P 所以 ~Q
- A+ T/ b5 q- w& l, N. A5 `! t; O, A# ?4 B8 K
Disjunctive syllogism2 E1 ?1 i }3 W- c0 S" m" s: {1 U
P or Q, 取得 ~P 所以 Q9 ^" {7 r- t8 a: O- K( u" ^
P or Q, 取得 ~Q 所以 P
/ t% z9 \: b& R! f9 |/ l+ @! o4 ]
4 @+ V' r3 v8 FConjunctive syllogism
" y+ K4 A- B! x2 }/ K8 A6 _~(P & Q), 取得 P 所以 ~Q
. x) x: P% b# c( M~(P & Q), 取得 Q 所以 ~P
3 _, a- ^; _. s8 j* T6 m* s
& {, r( `! k$ a% k7 n4 q8 K- [Hypothetical syllogism
' s% a+ m" T1 E% Y/ |9 B" N; PP --> Q, 取得 Q --> R 所以 P --> R
O4 N# S. G" H, n6 `$ B4 \4 |: E, G* y/ N& h! D
De Morgan's theorem
" Y, w( n% c& D- M. E~(P & Q) 所以 ~P or ~Q
2 @# _9 `0 t7 @! n* O8 g* |~(P or Q) 所以 ~P & ~Q |
|