|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens# ]6 q6 Z$ d. h
P --> Q, 因為 P 所以 Q/ R/ l( W. w6 ?4 M, ~7 l
, M( \5 o% l4 @6 {2 V8 g7 `
Modus tollendo tollens
0 t" J* M5 u1 ?& zP --> Q, 取得 ~P 所以 ~Q: C |0 ~4 J0 K
( r& p6 z3 W' _1 ~$ d& d9 E. h3 [Disjunctive syllogism; t0 A& H" {6 k! x: h
P or Q, 取得 ~P 所以 Q
- Y+ ^. \! W5 j. K/ OP or Q, 取得 ~Q 所以 P
1 @5 }4 R; X, _0 Z, I: p- L5 D, V: W. `1 \- f; {* d8 k. B7 G
Conjunctive syllogism
- b; O4 _8 G( q! ~3 N( p7 F~(P & Q), 取得 P 所以 ~Q0 ?" z, Q3 Y, P
~(P & Q), 取得 Q 所以 ~P5 N6 b) m% _, p5 [, Z8 V
4 N% q: |9 c' A( P) tHypothetical syllogism
+ A; W' V- l: r6 B' Q. AP --> Q, 取得 Q --> R 所以 P --> R
9 _5 r' Z2 m5 i& Z5 F. U3 ?" T# x# r* v) R; g8 h$ p
De Morgan's theorem$ m ^! o! w6 {2 e o; u' `6 S
~(P & Q) 所以 ~P or ~Q
( n8 Z2 A5 h) s, L0 B( C# v- {~(P or Q) 所以 ~P & ~Q |
|