|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens. {6 T7 c' L& ~
P --> Q, 因為 P 所以 Q
, _8 s: ]2 @- p- q1 a1 f/ ]9 l' P$ }" \+ _* O' `) k
Modus tollendo tollens2 n! Z# R" A; M5 _, l
P --> Q, 取得 ~P 所以 ~Q
% {# D9 P/ Y0 t1 f
. @0 {; z! v* C/ \5 WDisjunctive syllogism
) y- l/ h' _) ^0 l6 E2 D tP or Q, 取得 ~P 所以 Q
' ]* J9 e% Q1 I% y( LP or Q, 取得 ~Q 所以 P
# q0 A3 S" M, _. X; i, o6 C' Y+ u( ~9 [' e
Conjunctive syllogism2 V9 m$ c* ]# O5 u
~(P & Q), 取得 P 所以 ~Q7 S+ S* b) M$ T
~(P & Q), 取得 Q 所以 ~P
( L+ H. ]! }! W) S, I: W3 O" e( {( w& @. H
Hypothetical syllogism; R6 \ [- K. H+ @5 Z( S
P --> Q, 取得 Q --> R 所以 P --> R% ~2 u. K* Y) w& x
4 q. k: m3 j0 z- S& [0 z8 J+ @De Morgan's theorem
# M% Q4 E5 ^+ ]- x+ ^3 ^8 T~(P & Q) 所以 ~P or ~Q
; Z8 ~) |0 [: \4 m" V~(P or Q) 所以 ~P & ~Q |
|
