|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens' ^8 M5 ?0 A8 P( [( a* y. ?9 }
P --> Q, 因為 P 所以 Q6 k1 o, y7 l, G% G5 O7 A& \4 C
7 K" ]. W2 l$ {2 l' J \2 [
Modus tollendo tollens2 f9 G1 S s4 K* U. G
P --> Q, 取得 ~P 所以 ~Q
2 {& {$ f$ j. T$ _% t- B3 T& x4 w6 D; e5 q+ U) ^6 C
Disjunctive syllogism
, m+ J7 D8 V, L7 ?P or Q, 取得 ~P 所以 Q ^# k! C, z* g. ~8 I0 q
P or Q, 取得 ~Q 所以 P9 M6 F4 t; v' z$ r* A0 ^6 ` G$ W
9 f+ q% H9 K# @6 S; n3 a; Z
Conjunctive syllogism, z8 ]; }6 w9 ?' y7 C
~(P & Q), 取得 P 所以 ~Q" `6 q/ o$ r' }/ b; S
~(P & Q), 取得 Q 所以 ~P
" S+ j! ]2 Z. x, \5 g0 M4 n6 U* k* }- b8 l* l: J
Hypothetical syllogism
& {( G' j2 Y( W" `& Z7 I KP --> Q, 取得 Q --> R 所以 P --> R( k, C6 L. x0 F+ w( _% G
. V, ]/ |: M) S' M2 T/ J
De Morgan's theorem, B2 J+ }0 m6 i6 H$ L! M. S5 ]5 }
~(P & Q) 所以 ~P or ~Q
|( B. t. a2 I( z& |~(P or Q) 所以 ~P & ~Q |
|