|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens; [( i$ F, B! j3 o0 X9 Z4 C, K
P --> Q, 因為 P 所以 Q6 W. ~8 E% y; D" m1 R. G5 G
9 k) _* S' }" A" B( f# T5 BModus tollendo tollens
5 V! u) w( D+ DP --> Q, 取得 ~P 所以 ~Q- |) t$ F1 v" G6 S8 ?
) X* P$ Z# L* Z3 L2 zDisjunctive syllogism- w& z9 ~. _/ J1 {( ]4 _3 U( i, h
P or Q, 取得 ~P 所以 Q
. r; J) A% g* g7 LP or Q, 取得 ~Q 所以 P
! [* k( _9 \5 F5 S& {" B; _! u8 ]4 ^7 b' j
Conjunctive syllogism
+ p; R+ E2 i( S3 a~(P & Q), 取得 P 所以 ~Q
% N" s% a" I% [4 n+ l- f5 W~(P & Q), 取得 Q 所以 ~P
$ n8 D3 R$ u9 k$ W7 H! n) ~% K# I" c; R2 A3 E
Hypothetical syllogism$ J5 k, M6 I( r5 q3 R
P --> Q, 取得 Q --> R 所以 P --> R
" k- c- Y: h# x: x+ ~, f# U; s' ~9 B1 s
De Morgan's theorem- f- k! D: D8 M
~(P & Q) 所以 ~P or ~Q
& V) [ D% a' \& R* J~(P or Q) 所以 ~P & ~Q |
|