- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens" L2 {0 m1 R7 i& A d$ l$ {
P --> Q, 因為 P 所以 Q
! I1 {! z7 ^; a5 I. _# `
; ]/ D" i- M/ n2 d& J0 V' oModus tollendo tollens
, m t" R5 F0 l8 ^' @( ZP --> Q, 取得 ~P 所以 ~Q. {* ^5 A: G# ~5 }
3 r. E2 ]# X' [( Y! J" \( ZDisjunctive syllogism% @9 v* c2 b$ Q' G" M3 i
P or Q, 取得 ~P 所以 Q
~5 C! {$ j& f& Q; Y0 V' UP or Q, 取得 ~Q 所以 P
/ m. {8 y/ y/ q' W: K6 n5 n( k
$ S r3 p; `4 S: UConjunctive syllogism, h1 M+ d( Q1 [# k! ^
~(P & Q), 取得 P 所以 ~Q
0 b9 y+ T3 x2 s: O4 @ R0 K( E* ]~(P & Q), 取得 Q 所以 ~P$ r* F) e) p7 i. S3 R a
' Q! g' d" _# a
Hypothetical syllogism
5 j: h0 a# `- N3 Y# M. o) IP --> Q, 取得 Q --> R 所以 P --> R1 L8 W% A" Y" o. _
( \9 {* e# O. J: k* U: Y- D+ ~De Morgan's theorem
) b, j0 L- _, w. W. R1 F' B- b. H~(P & Q) 所以 ~P or ~Q8 ]* H- r# h) U; ~$ E! [4 p
~(P or Q) 所以 ~P & ~Q |
|