     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
, i O* ~: Y: ^4 x% J/ `P --> Q, 因為 P 所以 Q
4 O9 `4 h1 ^6 O1 t& z7 v; K" n2 F
Modus tollendo tollens
. Z7 w2 r. }- P0 H4 aP --> Q, 取得 ~P 所以 ~Q% S( H, _2 ?6 `& P: Z& j* h4 K
# V$ P$ b; _2 X3 g* pDisjunctive syllogism! y0 O: ?6 Z2 H* ^4 U( x; R
P or Q, 取得 ~P 所以 Q
/ [4 }/ v2 p, Q3 VP or Q, 取得 ~Q 所以 P8 Y& ^. J, S: ]7 _. h3 j$ o
) P# P! i7 j8 k9 {) j1 N6 i# ]Conjunctive syllogism
0 P0 L* E) ^8 a5 z~(P & Q), 取得 P 所以 ~Q+ N$ o, o0 c' U
~(P & Q), 取得 Q 所以 ~P+ n' C8 r x/ Y
1 i( m1 x r8 o; @ m" `% k4 VHypothetical syllogism) H- L+ A4 W% U* n1 I2 d
P --> Q, 取得 Q --> R 所以 P --> R
/ `0 L; Z* z4 q$ @
8 E- J: F2 R$ l7 W! ]De Morgan's theorem. x6 a+ N$ W* v# i% Y5 t
~(P & Q) 所以 ~P or ~Q
& y5 B' ]9 T6 ~6 r9 Q~(P or Q) 所以 ~P & ~Q |
|