|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
! T+ I2 d3 Y9 KP --> Q, 因為 P 所以 Q
5 I, M0 n2 N, W% |/ q
1 k. |9 a5 r5 F5 {. ^7 {1 @Modus tollendo tollens) n h4 p( d& N0 ?
P --> Q, 取得 ~P 所以 ~Q0 T9 X' a! E, V2 N$ T5 k- N
/ l% ?2 J. w7 c. [6 d9 b, P
Disjunctive syllogism7 W! x& ?$ z& j/ _, l! a
P or Q, 取得 ~P 所以 Q
& h4 J- J B; ]! aP or Q, 取得 ~Q 所以 P0 ^$ ?6 u5 D/ @
5 I3 h- a2 F$ {5 C/ T5 N
Conjunctive syllogism; p, D' e3 V# j5 E; Z x- q# |
~(P & Q), 取得 P 所以 ~Q
/ c6 I3 B1 j/ d+ h2 w" ^' ^$ r3 J~(P & Q), 取得 Q 所以 ~P9 s5 p+ a: a$ w0 L# l
& |' u2 b! [2 l
Hypothetical syllogism; y$ E. n+ J. ~$ \; M- m
P --> Q, 取得 Q --> R 所以 P --> R X) y" ?8 f2 h& X; ~; Y
+ B* T0 Y9 C% e1 X" G* ^De Morgan's theorem7 F3 d- k/ P2 Z. v$ H; D
~(P & Q) 所以 ~P or ~Q7 ?! ?4 q+ s: T! L# r9 B
~(P or Q) 所以 ~P & ~Q |
|