|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
9 ^& P8 Y0 p& W- q$ b" lP --> Q, 因為 P 所以 Q
. X6 ?9 ]4 h" m3 u% U% C5 ]
# k! f% c6 S7 B; s9 fModus tollendo tollens" m! e& h5 \! q% l8 D
P --> Q, 取得 ~P 所以 ~Q9 X7 M3 x' j$ j! f1 @7 G4 J
! R+ g9 B" y- n% ?
Disjunctive syllogism
+ `4 i& R1 t( e9 u, ~ a! v8 CP or Q, 取得 ~P 所以 Q
' M( O& J# B Y4 `P or Q, 取得 ~Q 所以 P
* J! _$ ^: b6 E. z! ?3 _, X5 x V9 W5 I' F$ L% J9 s" j
Conjunctive syllogism4 X, |8 a" n7 w) O A G
~(P & Q), 取得 P 所以 ~Q. h$ ^& }0 L5 f8 ^7 g7 y
~(P & Q), 取得 Q 所以 ~P, e. m! Z+ T9 _# O3 Y; [
3 o" j! Y- s+ D; J: ?* j# c
Hypothetical syllogism8 `, j' D8 `( s: U
P --> Q, 取得 Q --> R 所以 P --> R' l# v3 R$ {- W1 [% p
7 Q5 A" ?; c3 O& [
De Morgan's theorem. ^ H' _& O% G' P4 N9 t$ ?7 ~' {. C
~(P & Q) 所以 ~P or ~Q
. x: X1 b& S7 t" V( E9 J~(P or Q) 所以 ~P & ~Q |
|