|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens% I6 W4 F! |, f9 J( A8 c
P --> Q, 因為 P 所以 Q$ v R' T+ F) D& b( a- X
8 |6 y6 G, [0 z1 ?* K% DModus tollendo tollens- M7 v& C8 z) }: J/ l
P --> Q, 取得 ~P 所以 ~Q
! M) [ M: E4 Y
, n1 O( [; P$ ~' T( N/ H' c* KDisjunctive syllogism
9 y5 N0 i' m+ ]0 W4 N# n2 l+ z/ E4 {P or Q, 取得 ~P 所以 Q
% [ u4 @0 G" @( z2 V- h/ Y% fP or Q, 取得 ~Q 所以 P# T) j: T! N, h Q z
9 d# z- {% O" c: d6 |, y5 C
Conjunctive syllogism' J8 o5 j. _0 x6 ]$ W
~(P & Q), 取得 P 所以 ~Q
. a4 W3 t& i) @2 |5 w! i~(P & Q), 取得 Q 所以 ~P) b. H9 x4 t+ R
. G$ t4 x+ g1 J* k& |" g4 G( s
Hypothetical syllogism! o: q8 k% O( G0 F6 [& K% u
P --> Q, 取得 Q --> R 所以 P --> R
- j; l% Z2 ]: u+ U, B
7 I& t# i+ z% j; I- a5 \4 X* RDe Morgan's theorem
+ p: f( H2 l$ Q/ `3 j~(P & Q) 所以 ~P or ~Q
0 J/ F! z6 S; D, `& u3 K~(P or Q) 所以 ~P & ~Q |
|