     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
- ^2 h" g6 n$ \( _P --> Q, 因為 P 所以 Q
1 ^5 }. u: q2 q& {0 V+ J) l
! Z; N q, m3 V% P& j1 ?Modus tollendo tollens
. {* W! F+ M5 JP --> Q, 取得 ~P 所以 ~Q
8 \ j6 ]' k5 b: R0 \5 I% d o+ r3 d1 G) w
Disjunctive syllogism2 B* P" f5 R6 b5 e
P or Q, 取得 ~P 所以 Q
; q5 H$ F: O$ _! `5 bP or Q, 取得 ~Q 所以 P
0 U8 i* T9 E+ i3 N0 h% N
* d0 i. O# ^% K% u8 j8 @ zConjunctive syllogism8 U7 o8 z# Y, a% ]( G( [4 {' I0 S/ o
~(P & Q), 取得 P 所以 ~Q, \' t/ [& W' X0 l/ R
~(P & Q), 取得 Q 所以 ~P( M" s$ u% c6 ]! `- _4 w* P
; A$ j& Q6 D% {% w/ R
Hypothetical syllogism: M$ {! V: D* K+ X
P --> Q, 取得 Q --> R 所以 P --> R
w8 @" T: c, W1 M4 q: f l2 I2 N" D+ Z3 F1 A, F! e5 d& D0 t5 R6 M
De Morgan's theorem0 c' \) l9 ?# d: I) _5 w
~(P & Q) 所以 ~P or ~Q8 n$ ~( N; L6 X% x6 j" M3 B# u
~(P or Q) 所以 ~P & ~Q |
|