|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
- u8 r% r, G9 d" s% N* T; r- ^P --> Q, 因為 P 所以 Q
% g( a& M9 [, F7 U
- W/ G6 C: v0 f W; tModus tollendo tollens
+ y/ j. E& T& w/ s0 Y1 @P --> Q, 取得 ~P 所以 ~Q8 [2 W8 B7 O# X' q# z) Z, z. Q
0 }' D0 L- {2 }* F
Disjunctive syllogism# Q/ W4 K m% C0 {' p9 x/ Y: L; k
P or Q, 取得 ~P 所以 Q' y5 K9 n; N M. g% q& b c
P or Q, 取得 ~Q 所以 P
! @% z2 ]+ W" K; R# F! r
# x$ Q0 B$ h bConjunctive syllogism( a6 e3 H4 y! _( \+ N$ w4 I
~(P & Q), 取得 P 所以 ~Q
5 k- E V3 ^# [! N' c~(P & Q), 取得 Q 所以 ~P+ C+ h! {* ~- ?; l9 s
5 c- w' R- W. AHypothetical syllogism
: @* w; K' q3 [0 [# n6 AP --> Q, 取得 Q --> R 所以 P --> R6 ]5 t" E! P: C d
! H1 C1 b$ W) L" T( W* }4 G
De Morgan's theorem+ E; A% I- `, f/ F& s* H
~(P & Q) 所以 ~P or ~Q% l5 D0 v0 s7 j$ S7 H
~(P or Q) 所以 ~P & ~Q |
|