|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
! W3 _8 P$ ?2 I9 n& GP --> Q, 因為 P 所以 Q
5 i- R% q/ @) c: i, f- H4 G% e
" E7 P4 C# C9 ^0 Q HModus tollendo tollens
. O" b" u: \. ^% MP --> Q, 取得 ~P 所以 ~Q
! ?4 C6 }+ S! Z) \
T4 G% b M, KDisjunctive syllogism+ \" H7 p/ o" Z* Q+ w: A
P or Q, 取得 ~P 所以 Q( n( Y- _5 y# u- n! S! G# I- K0 M
P or Q, 取得 ~Q 所以 P
: F9 F. D* X7 t! X3 G8 z; i. j- O9 ^& h* C1 v# k O, A
Conjunctive syllogism
+ b$ ]+ l. f" A4 x~(P & Q), 取得 P 所以 ~Q
+ l" p$ x1 X7 `; }+ L+ Q" V4 V0 Z~(P & Q), 取得 Q 所以 ~P; Q, y% E: v$ F; K* n! Y, |, g+ j, }
4 q( g$ A* P/ v: D- v: ]
Hypothetical syllogism
, Q! t0 z( f0 NP --> Q, 取得 Q --> R 所以 P --> R
* e- x8 e7 n1 \; ~7 V+ J9 j
1 q" v( m! v9 j5 l; fDe Morgan's theorem
' Y4 x' B5 U' ]8 ^1 \~(P & Q) 所以 ~P or ~Q
6 n5 \+ r' I( e: |- n: V~(P or Q) 所以 ~P & ~Q |
|