|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens
; t. C; K% v, }9 }P --> Q, 因為 P 所以 Q0 H1 h8 |7 F, C C
8 f- g( J I. x' u! B' R% VModus tollendo tollens
5 A; p3 i+ M0 }7 r8 qP --> Q, 取得 ~P 所以 ~Q' J; |2 {1 N( u$ ^* ~2 e
; T2 ?7 T! W( a% V. N
Disjunctive syllogism
) @: [; U. A. k8 y) d7 M$ U+ S* G: rP or Q, 取得 ~P 所以 Q5 `0 G, v( ~8 p- R' R
P or Q, 取得 ~Q 所以 P" O- y3 E7 s( l7 D% ]: V9 u3 u
, p1 R7 S; A1 r% _( g- @0 FConjunctive syllogism0 v: w* V. Q; m' B& S. P
~(P & Q), 取得 P 所以 ~Q9 Y& o' n+ O5 }" w
~(P & Q), 取得 Q 所以 ~P4 v/ H B2 C3 ]. }5 b1 K
4 Q7 T9 z0 ?0 NHypothetical syllogism- E3 G1 b& k- x! [! k
P --> Q, 取得 Q --> R 所以 P --> R7 h5 Q) h% B- [+ D# ^( ?
5 k* F. Z4 p* \0 u$ d
De Morgan's theorem8 K0 w2 A" c0 r. x z
~(P & Q) 所以 ~P or ~Q7 C6 \9 T; ` ^- D; l/ j+ s
~(P or Q) 所以 ~P & ~Q |
|
