|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens+ [2 e8 x' h9 v9 ^( v
P --> Q, 因為 P 所以 Q, x6 Y) v: e7 _0 o( A
& E C/ i7 A+ t8 ~
Modus tollendo tollens% r! u6 I+ P% e
P --> Q, 取得 ~P 所以 ~Q+ ]5 s; n5 t) `- g
- b- t% w8 Z0 `' V. i: j
Disjunctive syllogism5 ]/ P J: Q8 r$ w T' L. s2 S1 l
P or Q, 取得 ~P 所以 Q& [" h0 o1 G+ B
P or Q, 取得 ~Q 所以 P
7 J& r9 S/ X, a0 g; b3 _/ g
9 Z4 F% n2 T2 k) a* Z4 o( KConjunctive syllogism
. Y& S4 \( S: R1 l: \~(P & Q), 取得 P 所以 ~Q
1 L$ O. z, P- R5 W~(P & Q), 取得 Q 所以 ~P
7 {- @: X2 X, _( `$ E& y" G: J
) K' o+ X3 x$ ^/ z$ sHypothetical syllogism4 C; x& M! |; h2 i' j8 C# D
P --> Q, 取得 Q --> R 所以 P --> R
- s9 J: w5 G X* e: R8 F0 |' Y. v: a; t+ r+ x- ]
De Morgan's theorem
! t- C1 }, m3 k5 R~(P & Q) 所以 ~P or ~Q4 Q9 M& H; ]' Z9 H) l, f0 T; x
~(P or Q) 所以 ~P & ~Q |
|