|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
7 n' \ T# e. y& M- I+ CP --> Q, 因為 P 所以 Q
# Z7 E9 ?' l: H4 H$ b5 k# Z
6 n" j/ p& D9 ^/ o% [+ _Modus tollendo tollens+ r+ S( t- a: f( ~1 C0 n
P --> Q, 取得 ~P 所以 ~Q
' f2 Q- A5 {& z6 g
8 a9 d% s: |. w" j8 A7 \, r, NDisjunctive syllogism
1 C' u' }( N( ?% ~P or Q, 取得 ~P 所以 Q
* }: o; t2 t6 r! SP or Q, 取得 ~Q 所以 P2 P2 n9 h/ |5 Z; T4 h5 x4 }+ T0 |
. d, T# u& B7 V6 F3 x
Conjunctive syllogism
2 \5 S8 {. r; Y4 O~(P & Q), 取得 P 所以 ~Q8 w. _2 C# i7 @4 J
~(P & Q), 取得 Q 所以 ~P
. ^ h9 @' s# i( q. M4 _: ?$ C; Q$ O1 @( [# X, c# ^' d
Hypothetical syllogism
5 |# d& }% Y. k2 YP --> Q, 取得 Q --> R 所以 P --> R! g9 m6 K* t7 ?- |& x+ X
, u! E9 ]$ d2 t% ~De Morgan's theorem
0 B0 g# k5 F3 P) G) g5 ], h~(P & Q) 所以 ~P or ~Q
; S H" S' _4 W! z/ u1 t7 Q~(P or Q) 所以 ~P & ~Q |
|