|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
$ N7 C, e9 K4 R( {* A( l) eP --> Q, 因為 P 所以 Q Y/ r2 r; s) A7 T, ?
# b3 `4 x' a" M u1 N4 g( eModus tollendo tollens
) ?; a5 ?; U4 _3 }1 D U" }P --> Q, 取得 ~P 所以 ~Q
; b, z) v8 C) Z5 x6 h" ^$ R" S) G8 V2 V
Disjunctive syllogism
$ r& n" }- f4 S, o4 b, X' L' NP or Q, 取得 ~P 所以 Q
7 ^/ d4 H0 d. U# c" A. p& `$ {; s8 QP or Q, 取得 ~Q 所以 P
K) M, o- K. o6 k$ z2 O* Z- \! M
1 m0 t; _/ G3 ^) M. ^! ~9 EConjunctive syllogism
?3 c$ v, f! A `; O& Y~(P & Q), 取得 P 所以 ~Q! j' L6 ?! A! f6 Z, e: m0 k! Y' y
~(P & Q), 取得 Q 所以 ~P
+ s- o! b7 o+ l# K. f9 i6 D. f8 I2 i. C* G/ E4 j
Hypothetical syllogism
& r% \) q2 C6 p3 \ k; kP --> Q, 取得 Q --> R 所以 P --> R7 N. m: G6 v! z& [2 T
4 f$ ?0 ^9 v; n0 ~
De Morgan's theorem
- \* ]. o+ n9 t% B~(P & Q) 所以 ~P or ~Q/ ?- \4 n! l& M# _! ?* C9 \
~(P or Q) 所以 ~P & ~Q |
|