|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens# f7 H6 T1 ^# I# c& I" D
P --> Q, 因為 P 所以 Q E: d: q/ N- z8 _5 F& d
- d# c6 G9 N, g+ ~ ^: ^& dModus tollendo tollens
4 l4 W; ~' c1 _ `$ c& [P --> Q, 取得 ~P 所以 ~Q
0 Y) K$ y7 b4 M* o! _) {/ r( y% H% m
Disjunctive syllogism
9 o6 O& J! ?, M* h; FP or Q, 取得 ~P 所以 Q( M2 O F. d, e+ T. E @; g. h
P or Q, 取得 ~Q 所以 P1 @" h& Q8 |# P" H
2 h: Y) g0 Y) G* OConjunctive syllogism( A. E+ a. l0 T
~(P & Q), 取得 P 所以 ~Q
! {7 R, C' }5 Q$ k5 c~(P & Q), 取得 Q 所以 ~P
* h4 B# v% P' j! v* p0 Q; ]6 _- f
Hypothetical syllogism
8 r" T0 F( U! M& D( h, I1 c8 ^P --> Q, 取得 Q --> R 所以 P --> R
; Q" H+ b2 {$ j8 {: O- Q4 m. |8 B/ A( x1 J& J2 {5 a6 H
De Morgan's theorem; G! g. t& V! D0 ]
~(P & Q) 所以 ~P or ~Q1 m9 h: z$ ~8 x' {- i3 x
~(P or Q) 所以 ~P & ~Q |
|