|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens1 i; E6 p3 D2 _: _! A
P --> Q, 因為 P 所以 Q! ^5 b C9 f: I G) \/ o3 {
+ z2 q; u( _# `& A) d! W4 b; L
Modus tollendo tollens/ T6 n4 `6 ~+ m& ~/ m
P --> Q, 取得 ~P 所以 ~Q2 u0 w. P; h' N/ Z7 a$ u2 f
! k; j( }% p! D* R; pDisjunctive syllogism5 w/ l. _! c, g+ }2 M
P or Q, 取得 ~P 所以 Q4 q Y5 P0 g# h/ }
P or Q, 取得 ~Q 所以 P
# r9 x9 S! G% V" t& ?: X
4 |! P! ~; B' H/ S9 C7 WConjunctive syllogism7 n# {8 J; V9 B( h& r$ o
~(P & Q), 取得 P 所以 ~Q9 I8 n- Y3 y7 a6 r
~(P & Q), 取得 Q 所以 ~P& r1 Y8 l+ e& n. v9 k" [% O! ]
2 k3 }4 [* s- R k1 |
Hypothetical syllogism( [* x( m1 M0 ~; P, n/ z$ q# L
P --> Q, 取得 Q --> R 所以 P --> R
4 V. b- A( N" s' Z7 O, ]8 y
! f7 ?1 Z8 _1 u$ @ sDe Morgan's theorem: _! O$ J6 G# S i+ T1 |+ p0 `
~(P & Q) 所以 ~P or ~Q
2 J0 J9 R! o$ N$ \/ U7 k~(P or Q) 所以 ~P & ~Q |
|