|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
+ w$ e6 v0 u4 x& o5 X" u, jP --> Q, 因為 P 所以 Q3 ^. Y; H7 K+ L! T% {: ]
$ Q- y9 n9 j0 C7 n
Modus tollendo tollens9 f+ `5 W; g; }2 O3 z0 O6 |
P --> Q, 取得 ~P 所以 ~Q7 _, F6 U+ m) f
8 O: ]# G- g5 u! r
Disjunctive syllogism
7 D8 o" t; m T5 ~P or Q, 取得 ~P 所以 Q
[4 B/ R+ [: p& d5 gP or Q, 取得 ~Q 所以 P
" Q2 N" J# g! k* k: \) ^0 Z C2 s$ v, z. l
Conjunctive syllogism1 K7 F: q( o% @0 J2 i1 ~
~(P & Q), 取得 P 所以 ~Q$ N$ {- F, W) |. ]- k
~(P & Q), 取得 Q 所以 ~P. f$ M- F G, U: z- J) I
, h) p, c, [5 i
Hypothetical syllogism
2 X& r& c `+ j/ b4 FP --> Q, 取得 Q --> R 所以 P --> R1 T3 X4 K) I6 {7 f
% \2 S7 B+ u! `; c" ^0 g, d# G
De Morgan's theorem
: A6 {! V v/ c~(P & Q) 所以 ~P or ~Q
) o* z( a7 U- g8 ^4 J~(P or Q) 所以 ~P & ~Q |
|