     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
' J# u$ {. g5 z$ T! L( X. tP --> Q, 因為 P 所以 Q
9 \; y1 u+ n8 r* _
# m( K7 L/ H) L# t& E: [Modus tollendo tollens/ G: ?/ I6 h! \2 g
P --> Q, 取得 ~P 所以 ~Q
M- x# o5 }5 H
/ C# A( ~. ^0 PDisjunctive syllogism' p' W, A% |% |) Y4 E. x! m8 E! g
P or Q, 取得 ~P 所以 Q @/ s, @0 w8 F8 W* Z* Z( l
P or Q, 取得 ~Q 所以 P
6 o4 @6 ^8 z7 c5 }
5 z3 m: r- D A* G5 sConjunctive syllogism: r w5 I6 D0 I
~(P & Q), 取得 P 所以 ~Q: o7 Y5 j0 o3 k% m, q
~(P & Q), 取得 Q 所以 ~P
% p$ c! h+ y" q5 ?
4 i$ Z2 j! P2 ?+ tHypothetical syllogism# O# l4 h8 c5 ]3 s1 D# x
P --> Q, 取得 Q --> R 所以 P --> R) Q l' }- n2 N' R& E/ `
6 v1 |0 d1 j! s* ]% L
De Morgan's theorem
$ \" L+ P1 e. B2 U' t~(P & Q) 所以 ~P or ~Q( E8 {* |! Y: R! d
~(P or Q) 所以 ~P & ~Q |
|