|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens1 h; R3 S b1 v/ x) J& x# }+ }
P --> Q, 因為 P 所以 Q
- r& l( B7 f/ Y7 X+ w* x
( [0 |7 l' n, WModus tollendo tollens
9 E) E/ [. b2 Z) ]P --> Q, 取得 ~P 所以 ~Q/ ?3 ~ G# a8 b. \% S/ x3 B
$ t3 K2 {5 B5 g. Z$ i) d6 B4 {, IDisjunctive syllogism2 }6 l' O, U2 @5 {3 |, w% }
P or Q, 取得 ~P 所以 Q
* z, F$ W \7 t/ k6 B5 ^P or Q, 取得 ~Q 所以 P' {: c/ b0 z. \0 s# u
* i9 p4 b; q- x7 o% T/ `- mConjunctive syllogism* @- X/ V% c) s
~(P & Q), 取得 P 所以 ~Q! Z+ r- C( a6 i. W' f1 z
~(P & Q), 取得 Q 所以 ~P
" S6 _, Q+ g& h: Q0 E: V% t2 [7 i4 d# j& d/ a) _
Hypothetical syllogism
1 ]4 j3 M8 |/ Y% g2 s5 T' Z0 NP --> Q, 取得 Q --> R 所以 P --> R
. X; |5 N# E* X6 @. R1 ~
6 x$ ~% r% k6 {De Morgan's theorem; P$ ^6 U) B: p" Z: g" ~
~(P & Q) 所以 ~P or ~Q: j8 U; W( I2 A7 ]' P% u2 n; v
~(P or Q) 所以 ~P & ~Q |
|
