|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
6 l3 O9 s/ f6 D- U5 h4 GP --> Q, 因為 P 所以 Q
0 |2 |9 B. L- b, G$ @0 d: T4 d. u* w4 U G* M! K9 d
Modus tollendo tollens' K" B! Q* F1 S. E' A& C
P --> Q, 取得 ~P 所以 ~Q
' K5 U8 n7 k. Q8 W
: n) T- `# ^4 `, @& e' v! JDisjunctive syllogism& Z- X4 H J# u+ Z1 b2 P
P or Q, 取得 ~P 所以 Q4 M0 y `0 ^ P0 K; J. ~
P or Q, 取得 ~Q 所以 P
" j+ O. V- x7 l( A( {! ~6 Q8 R5 \* G9 {
Conjunctive syllogism
4 {. e5 H8 ?* I! p( U( v~(P & Q), 取得 P 所以 ~Q$ c3 U& h. y/ {6 q
~(P & Q), 取得 Q 所以 ~P
- W% k& b5 {0 J. p, x! C, O! B% Y# L% c& m1 C
Hypothetical syllogism3 r+ B6 w( \9 I7 J& S! f' [' C, X
P --> Q, 取得 Q --> R 所以 P --> R u0 \+ \& X+ P& p" d) N2 V+ {
1 J2 J1 L" H" K, TDe Morgan's theorem
0 c7 ^8 C: w+ v7 ]. _~(P & Q) 所以 ~P or ~Q
& L* @7 w- P. m9 j. j5 n~(P or Q) 所以 ~P & ~Q |
|