|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens7 k8 G# b% z, i1 g, A3 s' o/ u0 _8 J, `
P --> Q, 因為 P 所以 Q
2 B$ _9 n% ?$ [ ?( w" x4 K6 F" |. v- H3 [- F1 J% }
Modus tollendo tollens
/ H$ j) V L; p; ~0 G' {, q$ O) |P --> Q, 取得 ~P 所以 ~Q
# J; S. @% A6 k
0 n0 k& @# M: t% ^" G6 m, J& _Disjunctive syllogism
' k, f" k/ _/ I( XP or Q, 取得 ~P 所以 Q4 r, A M1 ]4 {6 R* R6 K
P or Q, 取得 ~Q 所以 P
* h! A3 `3 [+ |+ Z6 F0 V0 D: M- J( e `
Conjunctive syllogism
3 H- C" H* S! s$ ~6 E b, D. [0 t~(P & Q), 取得 P 所以 ~Q
5 C5 w& ]. U% x# ?* O' T! m* W~(P & Q), 取得 Q 所以 ~P
1 J( l7 b2 J4 o
: P( W! u) {5 Q# |( V" D9 mHypothetical syllogism
# v4 w4 d; H sP --> Q, 取得 Q --> R 所以 P --> R h4 F' ]9 l( B2 F
1 W5 ]/ f c( R( m' F' l
De Morgan's theorem9 q/ \# w" V' F2 c- Z2 D
~(P & Q) 所以 ~P or ~Q0 n% G% n6 F3 {: j! g
~(P or Q) 所以 ~P & ~Q |
|
