|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens" a" M3 A Y/ I( L8 K# ]
P --> Q, 因為 P 所以 Q9 b( [- m1 L, o+ Y1 @7 Z
' i: p8 p6 w( [3 c+ _6 [" A
Modus tollendo tollens
& K4 s4 g, N y" a S6 {# hP --> Q, 取得 ~P 所以 ~Q( }! j$ Y) Y% g n$ o. O6 j
4 N4 A# `' h$ x
Disjunctive syllogism
( w. |7 ^7 O1 H" DP or Q, 取得 ~P 所以 Q9 K2 R; k k1 c7 Z- C- S6 }, J
P or Q, 取得 ~Q 所以 P2 O2 B4 h+ a* T- H
& I6 ^/ P; M- f2 r \( q
Conjunctive syllogism4 O% ~1 e7 Z+ [7 @% j
~(P & Q), 取得 P 所以 ~Q
! k8 M2 |4 N. S7 }~(P & Q), 取得 Q 所以 ~P9 j& r+ e- g. e
& y; f. W5 b, G1 h) d- @( [ \7 c7 qHypothetical syllogism) N7 {* i( s2 \5 Z0 T
P --> Q, 取得 Q --> R 所以 P --> R! B1 |& X9 e/ c. ?) p
$ k& |, ?6 g) t7 @) R s$ M( cDe Morgan's theorem- Z& J2 o7 N- C
~(P & Q) 所以 ~P or ~Q
' C& k. Q+ Z/ u# d4 Q! p~(P or Q) 所以 ~P & ~Q |
|