|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
* A l' G( m# a( j1 h8 vP --> Q, 因為 P 所以 Q
% |! X j5 E# e) m, l/ ^. H
" M8 ]' c+ G) o' ?6 ZModus tollendo tollens
& B8 S5 ^, O" u* Y) [; e! K7 ^" \P --> Q, 取得 ~P 所以 ~Q8 a1 q9 t# Y/ G( U
( y7 L0 e5 R8 a5 i5 w9 b- t
Disjunctive syllogism! E+ @0 a; E3 k# w5 @+ J2 ?6 O
P or Q, 取得 ~P 所以 Q: \6 W, H5 E, h
P or Q, 取得 ~Q 所以 P
h) m( K$ N0 p+ W" Y& N w/ L$ F& _
- p' _: H/ l* R' R' e; jConjunctive syllogism
0 ]* k9 M6 |& T~(P & Q), 取得 P 所以 ~Q- x; f" M+ s4 E; J, y! s& ^7 V' q
~(P & Q), 取得 Q 所以 ~P
3 V# h% ^* l" l/ h" G
* n M/ p! h, [: vHypothetical syllogism8 b/ G- t7 U9 v; s; _, Z
P --> Q, 取得 Q --> R 所以 P --> R6 y1 h0 U8 a6 r
. H4 G! O; A. P- ~De Morgan's theorem! L0 W, e+ C! ]/ n% H
~(P & Q) 所以 ~P or ~Q3 [' W' [7 \. P
~(P or Q) 所以 ~P & ~Q |
|