|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
7 V# P& L5 v* K: B6 F4 ?# V% q3 K& P' |! cP --> Q, 因為 P 所以 Q
1 S2 y( Q1 @* @. b+ U
$ c- t! o2 N; l" m9 j Z! ~Modus tollendo tollens
Q3 n O& Q* B2 [9 FP --> Q, 取得 ~P 所以 ~Q
9 z# k9 [0 K( q" Q4 {2 a5 R3 H7 P1 ~. M- t: h+ Y! y
Disjunctive syllogism! A& `/ P; l }% d( W+ l2 H9 M+ L/ U
P or Q, 取得 ~P 所以 Q
% P2 u, b$ ?. z5 c7 NP or Q, 取得 ~Q 所以 P
9 h! v; R: z7 W% F2 r
" I3 i+ u X! \/ ?* ?8 e; KConjunctive syllogism% N3 i8 B+ v7 Y
~(P & Q), 取得 P 所以 ~Q
( F( @' X+ G# v3 D% W9 ^# y! g~(P & Q), 取得 Q 所以 ~P& n3 i( f- P. J
* M! n2 M( |) ?% [( H/ P) c/ @Hypothetical syllogism* f% w& ~0 `- G$ y/ Q
P --> Q, 取得 Q --> R 所以 P --> R6 x) j" x0 J6 Y0 r+ ~' e3 }0 g' S
: s S, K7 m" x4 v( H+ nDe Morgan's theorem
5 h( ^6 j9 d" |3 N5 Q~(P & Q) 所以 ~P or ~Q% v" O8 m! O5 \/ G0 i
~(P or Q) 所以 ~P & ~Q |
|