     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens8 o; {3 Q7 e3 U m
P --> Q, 因為 P 所以 Q G# E: }6 h P4 U# h, X8 K5 W0 N
/ n7 [% {3 u* H; k! @
Modus tollendo tollens2 y& G3 L6 S3 i+ P
P --> Q, 取得 ~P 所以 ~Q, o" R% i2 v5 ^5 O, K
3 K8 j( u t8 K/ k7 S" h* @' @
Disjunctive syllogism
8 K/ T: c# H( V7 dP or Q, 取得 ~P 所以 Q
! f/ u) C$ j$ U; W6 g9 H( d7 ^( DP or Q, 取得 ~Q 所以 P
# a/ d) c- Q: z, L- ]% i, n( L" G" M$ J1 n/ O; H
Conjunctive syllogism& h3 l# g8 F+ e; X, \) c3 w
~(P & Q), 取得 P 所以 ~Q& n" @& v! k" O% c
~(P & Q), 取得 Q 所以 ~P
' Y. ?* l' Q# I3 R- }) P) S% Z4 L2 y: D: C5 k& p
Hypothetical syllogism8 j- D/ Y* p5 v" R: J- n! G* F
P --> Q, 取得 Q --> R 所以 P --> R; p8 p7 ]" ?4 Z# |. T: p4 X
& I- l! e" ?6 E7 @+ d
De Morgan's theorem% j+ }$ f& }& S, N5 Q
~(P & Q) 所以 ~P or ~Q
$ M$ L! p( l3 y0 Z, J0 I! R~(P or Q) 所以 ~P & ~Q |
|