|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens
9 g7 j9 x: N5 g9 K' ]P --> Q, 因為 P 所以 Q
+ j; E* N% B( s
. k7 Z$ h# p! x! r) ]7 G! N8 wModus tollendo tollens
8 k) E( l- ?3 D5 ^+ t3 C( S( fP --> Q, 取得 ~P 所以 ~Q+ g m' ?9 j8 g) L
" l" T/ N/ t0 [, {# Q
Disjunctive syllogism
$ j6 e& U/ G% W; Z; w; h+ oP or Q, 取得 ~P 所以 Q5 p& M9 A/ b* V% u" k
P or Q, 取得 ~Q 所以 P# |( ?- O& \ P- V+ u9 y) a
" N( j% B' Z0 p/ \/ Q
Conjunctive syllogism
& [4 y" t" s* Z4 B- @7 y! X1 w~(P & Q), 取得 P 所以 ~Q
7 ` v! u( K8 h/ e~(P & Q), 取得 Q 所以 ~P- Y, K! K$ N% o7 G- O
) P8 S: [& \8 I( g, r( d' {! OHypothetical syllogism
& _0 M. M: j, V0 q8 V& ^5 C$ CP --> Q, 取得 Q --> R 所以 P --> R$ E3 f% a) o |. W/ K b# W; I7 t
6 I6 N3 u1 B9 E9 ?" h
De Morgan's theorem
. u& h9 _; K' S8 V, @# b2 F' i~(P & Q) 所以 ~P or ~Q
7 C# M1 u; n7 g~(P or Q) 所以 ~P & ~Q |
|
