|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens5 U& E+ o$ ?% j2 P9 u6 I0 ^0 k I' I
P --> Q, 因為 P 所以 Q
8 K2 x, O$ O. c+ q! E1 Y8 ]: _4 C$ x
Modus tollendo tollens
0 p( s: I+ ]( p. yP --> Q, 取得 ~P 所以 ~Q4 i8 M& p1 g: O/ W8 }* z: w+ C
& z' [( r! n2 h7 Y" g0 E* XDisjunctive syllogism% \; Q2 \3 v( J7 Y
P or Q, 取得 ~P 所以 Q
0 d$ V/ l. e0 b4 r/ gP or Q, 取得 ~Q 所以 P8 n N8 s" a- o2 o- m: U: m
. R2 A5 g J3 z3 ?$ L4 kConjunctive syllogism
: [ ^+ ?7 k) E. B3 ?; `1 D~(P & Q), 取得 P 所以 ~Q
: y+ T, y6 z5 @~(P & Q), 取得 Q 所以 ~P
& V( y/ _: ~ ] }8 a; ^ g$ n& n9 F" u ?8 Y; ^
Hypothetical syllogism3 e7 |. T+ @( m( z5 w/ j
P --> Q, 取得 Q --> R 所以 P --> R! ^ Q6 p0 ?0 [5 q6 w
! Q3 F' E- h' P, @( S& o! d
De Morgan's theorem
8 d2 i9 i* b( U# n8 x: e~(P & Q) 所以 ~P or ~Q
& V+ U4 @- j4 U7 i# U4 W5 T5 U# I) i6 [~(P or Q) 所以 ~P & ~Q |
|