|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
k3 ` M& L5 N6 l) F# _" RP --> Q, 因為 P 所以 Q9 o; X, L% C& e% x- I
* Q$ c3 Q/ p% f
Modus tollendo tollens# W+ F/ b6 u/ s6 Q7 F
P --> Q, 取得 ~P 所以 ~Q
3 x( o: _) c. M+ P3 j. M+ {- }2 F, O& E2 U4 t9 c9 _
Disjunctive syllogism$ Q" l% N( b* E* j
P or Q, 取得 ~P 所以 Q
- ~2 D# w, | U9 _P or Q, 取得 ~Q 所以 P+ A0 f9 _; W( J( ?4 c! V
( z$ g* w; X' [/ P5 C, m1 q8 mConjunctive syllogism" W& n6 J$ O* W' }% [2 t/ I
~(P & Q), 取得 P 所以 ~Q
% v- q" G8 O4 s- D8 t1 H~(P & Q), 取得 Q 所以 ~P
: e& N4 w8 r+ h! l3 e
% L- _% }* n0 t# tHypothetical syllogism! J# @+ B! X$ z& Z: z: J( R4 B1 {
P --> Q, 取得 Q --> R 所以 P --> R% H( [+ G' p% v% D
6 w0 c1 {! {, u- z8 HDe Morgan's theorem
; V' e9 {- V4 k: M( g' ~: O8 a~(P & Q) 所以 ~P or ~Q
s& d, \6 ]* k+ y; M, x~(P or Q) 所以 ~P & ~Q |
|