|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens- e0 g H! a* G! i7 {$ x l
P --> Q, 因為 P 所以 Q
1 U5 j% e3 V" i3 r4 j
3 Q. w' V5 _. z2 S( Q @Modus tollendo tollens
( o# f% o" V& K f" LP --> Q, 取得 ~P 所以 ~Q# O/ z' d. N+ o6 \- V
* M5 c# \$ ^" j0 s- h
Disjunctive syllogism
}( H7 D5 i( U2 f5 K# XP or Q, 取得 ~P 所以 Q$ m$ y0 G3 C2 E- \
P or Q, 取得 ~Q 所以 P
9 a X1 r7 Y- Z/ S" C. ~3 D+ }# E" B
Conjunctive syllogism( x6 y3 U$ A+ z g1 O5 {3 m
~(P & Q), 取得 P 所以 ~Q
6 K( ^! g9 L0 G2 U~(P & Q), 取得 Q 所以 ~P* p- ?$ u; r j
% t' k V2 F3 B7 rHypothetical syllogism: r. H8 ?; _6 D! y
P --> Q, 取得 Q --> R 所以 P --> R4 ]( q8 @/ b) c6 g' c" j
% S4 C/ d3 O* S* @$ \4 x
De Morgan's theorem/ @, z! E1 U! x/ d. i* `: A
~(P & Q) 所以 ~P or ~Q
0 C6 b5 Q" T4 l~(P or Q) 所以 ~P & ~Q |
|
