     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
C5 y4 m3 Y. J" d& U0 q6 NP --> Q, 因為 P 所以 Q
. z* w. R, u' j* [1 G" h
4 U, ~8 ]$ r5 @Modus tollendo tollens
! p5 L( V! p& Y0 T& C" @" VP --> Q, 取得 ~P 所以 ~Q
5 d8 b# E* @- H4 ^4 b+ d$ q0 s) ^2 n5 u, Y5 I8 A' z5 ^: l% ^
Disjunctive syllogism
0 I9 p$ f8 ~% Q3 N4 B2 l, cP or Q, 取得 ~P 所以 Q- i8 r' G6 C: ?3 ?) h: V) n- G
P or Q, 取得 ~Q 所以 P
$ V5 P; _% l1 n/ V, t& f! _4 S7 n# P4 g1 B
Conjunctive syllogism1 G# ]# t4 ]! p' C5 K! U$ u
~(P & Q), 取得 P 所以 ~Q5 p/ O( \( L- |5 X9 H4 M
~(P & Q), 取得 Q 所以 ~P
) s- }7 e8 M& o
. x) M! ]7 K2 Q3 }5 G, _Hypothetical syllogism
3 G. G- q. T K" ^! j0 I% ~P --> Q, 取得 Q --> R 所以 P --> R# t6 `0 K+ [& M/ i6 q2 c0 W
, B4 G _9 j" a0 g" ~( fDe Morgan's theorem
* \+ r9 t( \- { n: K~(P & Q) 所以 ~P or ~Q
9 O1 [7 k9 j1 N: i) H~(P or Q) 所以 ~P & ~Q |
|