     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
6 I/ r: [2 m& q! ?% X9 \% \P --> Q, 因為 P 所以 Q# m A6 a* h+ {+ n
: {& m6 ?+ v6 ]) E3 s
Modus tollendo tollens0 t9 N+ ]- V4 f4 p
P --> Q, 取得 ~P 所以 ~Q
- L5 T3 B( L; L8 w p' w$ a3 E1 x0 u$ H5 I) B! J
Disjunctive syllogism Z) l# B" a: s @! b! ~
P or Q, 取得 ~P 所以 Q
; o% E& C0 |3 v! R$ g6 MP or Q, 取得 ~Q 所以 P
4 c& s1 d% N' s i! C2 h
, X5 D7 P: w/ }+ KConjunctive syllogism0 g$ _3 f+ B1 L; p- z3 o, O( h1 `
~(P & Q), 取得 P 所以 ~Q" C- n4 j/ a; h1 M
~(P & Q), 取得 Q 所以 ~P
$ r3 x, a! s, d( r: g) i8 c0 j: f8 i p0 d$ k
Hypothetical syllogism: \ f9 X' o2 l o9 T/ z: D3 j6 d
P --> Q, 取得 Q --> R 所以 P --> R1 C( u3 B; J- W$ I* [- A
g1 _# P* g2 R7 t9 i/ MDe Morgan's theorem2 o$ W. ]; Q! F8 w) \
~(P & Q) 所以 ~P or ~Q3 W5 b' c- S& j' X7 m& V4 {& n
~(P or Q) 所以 ~P & ~Q |
|