|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens, x& L; X1 A) U2 X. c0 d2 j: ?
P --> Q, 因為 P 所以 Q
! d! i7 C/ t1 R! v. Z0 K! S4 k& b1 ? B
Modus tollendo tollens& X: C# x. I+ I& ^2 n- l
P --> Q, 取得 ~P 所以 ~Q( L5 i4 F3 U* Q4 U, F6 H
2 s6 L$ A5 \" SDisjunctive syllogism
# v z4 [' _7 Q- EP or Q, 取得 ~P 所以 Q
% Q8 L `, @/ v5 T3 EP or Q, 取得 ~Q 所以 P
, C$ e6 }4 g8 \6 z( m2 m# R" ]# n
Conjunctive syllogism
; b, v5 \7 t4 \# K, O~(P & Q), 取得 P 所以 ~Q3 u8 X" U/ I6 f
~(P & Q), 取得 Q 所以 ~P5 Q% Y( A7 |# x4 c0 x' I
* t* |3 Y1 O0 l0 r4 g# p, aHypothetical syllogism9 p- j7 }- S$ x3 D7 } }* d, v
P --> Q, 取得 Q --> R 所以 P --> R" R) C( ?( A, [$ O
0 [, P" ]8 U0 H! }
De Morgan's theorem8 h6 Z! S4 i7 v# F. l* U+ L1 N$ E. i. V
~(P & Q) 所以 ~P or ~Q
6 k( `/ }2 t* a k8 y1 L! V~(P or Q) 所以 ~P & ~Q |
|