|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
& M- O: T% A: k+ `* _4 M& Y9 nP --> Q, 因為 P 所以 Q. P2 m: m- P1 X3 x0 A
2 w: a8 t ~+ I% u) {* T7 Z( tModus tollendo tollens& p1 C2 ?' d) F2 R6 i# d
P --> Q, 取得 ~P 所以 ~Q
9 r3 j5 \ |/ @& l, q: f6 Y! v6 x2 _, W: A
Disjunctive syllogism
) j& b1 t; z/ m3 v2 x- jP or Q, 取得 ~P 所以 Q
+ d! l9 A& C0 _. ^# Q5 y* JP or Q, 取得 ~Q 所以 P
" H" x, c5 ?% f/ o8 _) S5 \1 K$ R% ^% o ?5 Y# _
Conjunctive syllogism
9 E, V+ ]4 I4 `% w~(P & Q), 取得 P 所以 ~Q
. o5 d: m) @3 `% @1 w~(P & Q), 取得 Q 所以 ~P% |5 v& N1 k, Q% ]
2 @/ Z2 P8 h3 Z, dHypothetical syllogism
0 G( b# a5 D& _& s- mP --> Q, 取得 Q --> R 所以 P --> R2 P& r Y+ M; b% P
O% G& J+ J, O' k+ @0 s1 f0 y
De Morgan's theorem4 B& i* C4 t v2 D. [ |+ F4 x
~(P & Q) 所以 ~P or ~Q
5 n% }; W4 V( z! k9 F~(P or Q) 所以 ~P & ~Q |
|