|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens
8 q( O4 N7 z) }' t, U& U9 A2 OP --> Q, 因為 P 所以 Q7 u2 @: n6 f; v7 [# h. \; w. d* a5 u
/ @1 N# p2 W4 c! d! M& a/ {- _Modus tollendo tollens7 Y" X. Z; A; Y9 h8 ^8 c
P --> Q, 取得 ~P 所以 ~Q/ S; ], h4 j7 Q" [+ a! R
1 u7 G% c" G) WDisjunctive syllogism# m$ J" G$ B X
P or Q, 取得 ~P 所以 Q* Z+ I$ e0 h6 J* O( I5 f
P or Q, 取得 ~Q 所以 P/ G$ G8 M4 Y9 | [
; E2 L2 x4 I: S! C( k B, hConjunctive syllogism
. ~1 }) R% M0 L~(P & Q), 取得 P 所以 ~Q
4 g: D: k) P* ?' Y# g~(P & Q), 取得 Q 所以 ~P
% Q2 s1 d2 G1 x$ k4 |: }, K. L, A
/ P, D, m# C6 x. h d1 A, EHypothetical syllogism. R( H5 C2 E1 w F$ _$ J. p$ P
P --> Q, 取得 Q --> R 所以 P --> R
4 C1 l# D% P! T' V" ?. h" ?, Y$ c5 `
De Morgan's theorem) `+ Y& B* k; P$ `8 i! H
~(P & Q) 所以 ~P or ~Q' m1 m: X- |# O2 K3 r P! o
~(P or Q) 所以 ~P & ~Q |
|
