|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens3 ^, S! `" E' f% ?9 G4 t# d8 ?
P --> Q, 因為 P 所以 Q% \6 \" j3 [7 k6 t* @9 e P
3 L) m+ N# |! I. {4 X/ dModus tollendo tollens
$ x# |- o; v9 l* V# i6 c7 sP --> Q, 取得 ~P 所以 ~Q0 M4 i, `( ~; P4 E, p- P$ i
. k- F% h _7 t0 p- X0 ?" \8 \; D8 @. u/ ZDisjunctive syllogism6 s2 M) z9 H6 m9 r
P or Q, 取得 ~P 所以 Q0 F9 k E( ^0 G8 }* ^; {
P or Q, 取得 ~Q 所以 P
& e; W5 D: M2 j0 T$ R# G+ z: d3 {
/ W- V, ?; T- oConjunctive syllogism
) v, B! u+ v9 O3 R' k~(P & Q), 取得 P 所以 ~Q5 X/ f. n- Z. W7 V" R+ r
~(P & Q), 取得 Q 所以 ~P! f& s% N6 s8 l3 _( ^: q8 ?
6 @# j3 a% r/ D' A) s5 p
Hypothetical syllogism
3 q% o7 K2 f( {# F3 ?# t0 o0 PP --> Q, 取得 Q --> R 所以 P --> R
1 `8 Q( k4 a9 x% H% K- h; X1 r' C: ]% l& {, I
De Morgan's theorem
5 }% R; i# o; ]$ d~(P & Q) 所以 ~P or ~Q
+ ~/ z2 F ]9 K0 y~(P or Q) 所以 ~P & ~Q |
|