|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
) g: ]1 X# m7 V ^0 }P --> Q, 因為 P 所以 Q
_: s4 {3 p1 z H' @- _1 X5 p8 v
; S" `; E! u: K# C- v8 AModus tollendo tollens
# v6 ^- P B* n# mP --> Q, 取得 ~P 所以 ~Q8 ^( D! R# P |) z: i% |3 P
2 d: d: [; k* a3 Y" h* K0 S
Disjunctive syllogism; H. L7 ~: j( I9 b7 C
P or Q, 取得 ~P 所以 Q
, b7 f( m/ f& c! BP or Q, 取得 ~Q 所以 P
* K. w& q1 C- j# g# S$ y5 u/ N8 b" q0 u2 a2 ~. F6 {
Conjunctive syllogism9 u) d+ d4 x l% y9 |; z! |
~(P & Q), 取得 P 所以 ~Q1 X: a$ f7 ^# \* b* M
~(P & Q), 取得 Q 所以 ~P
+ b/ k# ], s; }' Y: d7 D) b
. i3 M1 R6 e" i4 ]: ?3 ^Hypothetical syllogism8 f% q9 r9 m3 I4 ?: V1 p* p& [
P --> Q, 取得 Q --> R 所以 P --> R8 t+ {- |6 o! q1 f4 W' g7 q4 U+ ]
! ^5 h* ~0 g0 N3 l2 m4 z
De Morgan's theorem
5 K/ S3 Z" U# R0 a9 Y4 P~(P & Q) 所以 ~P or ~Q/ D3 Y; e, v4 W i+ L
~(P or Q) 所以 ~P & ~Q |
|