|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens+ {$ u& k( ?0 e
P --> Q, 因為 P 所以 Q
6 u" J6 Z* R6 {% w- ]8 K, F
2 L1 j" o4 Z x2 ?, p$ @/ L% F: g1 ?Modus tollendo tollens
( x' V& B! K& yP --> Q, 取得 ~P 所以 ~Q5 P8 _4 q) B) v' J2 e' i
4 x U. d' j2 {4 ~- |/ z7 B3 _Disjunctive syllogism, [! R, q9 R; |! z3 S$ @, C. F
P or Q, 取得 ~P 所以 Q
% z2 ], |9 x1 q; NP or Q, 取得 ~Q 所以 P) C7 `0 i3 {4 i( o8 k* e% k
4 l; t2 T& Y' O4 ]4 }# pConjunctive syllogism
x$ v) S' e) H) j ^- L~(P & Q), 取得 P 所以 ~Q
/ D. J* X' U4 U* i k! g+ i~(P & Q), 取得 Q 所以 ~P
5 [* g% F7 W: k4 J9 c) Z g0 S( Q7 J: \. k
Hypothetical syllogism
& r+ u# p3 G4 tP --> Q, 取得 Q --> R 所以 P --> R
% x6 ]# k/ I. O7 d# _- {
* w% h- j% z% t# M) EDe Morgan's theorem' {9 \9 {1 u/ w1 l# o) N
~(P & Q) 所以 ~P or ~Q0 K& C$ y5 H1 h+ y( `( @8 r9 `" z
~(P or Q) 所以 ~P & ~Q |
|