|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens8 }" ^% T& X- Y+ T, c9 M# m
P --> Q, 因為 P 所以 Q7 P( x: F; i* G2 ~
) U3 c) m# C! Q: r' i, Y6 G/ Z; dModus tollendo tollens
3 _+ t% F, L* R+ L; q0 O- G1 hP --> Q, 取得 ~P 所以 ~Q
! o' O5 y# {0 V6 J" n5 n. _' \: i, M5 Q$ N8 }0 k# Q$ Z
Disjunctive syllogism
8 N, b- N( d3 u+ b# dP or Q, 取得 ~P 所以 Q! F/ C5 Y& b4 t/ X$ _
P or Q, 取得 ~Q 所以 P
& j' W. O& d; Y; b; ?- D/ R D; K. C, o- `$ z/ z* n, Q
Conjunctive syllogism; I3 S& ?* Z( y' Q2 l2 k& J
~(P & Q), 取得 P 所以 ~Q
1 H# s( T p2 ~7 C: Y~(P & Q), 取得 Q 所以 ~P) @) F6 w+ g% u: r- C3 g
% y) b7 n5 A: a9 f% L( x
Hypothetical syllogism+ l# K k' J9 o
P --> Q, 取得 Q --> R 所以 P --> R% s: K* \5 s+ R6 `9 _. _' L3 `
6 \! f1 W" [8 N
De Morgan's theorem) D' z. `/ J4 H+ H
~(P & Q) 所以 ~P or ~Q
8 m+ u) ?/ C0 e# G/ [~(P or Q) 所以 ~P & ~Q |
|