Академический Документы
Профессиональный Документы
Культура Документы
Reglas de Inferencia
por G3
Agosto 2014
Resumen
Indice
1 Esquemas de razonamiento
Definicion 1. Un (esquema de) razonamiento es un conjunto finito de pro-
posiciones p1 ,...,pn , llamadas premisas o hipotesis, y una proposici
on q, lla-
mada consecuente o conclusion o tesis, de la cual se puede afirmar que deriva
o no de la conjunci on de las premisas.
1
Definici on 3. Una ragla de inferencia es una sucesion finita de proposiciones
p1 ,..., pn (las premisas), y una proposicion q (la conclusion) tales que
p1 p2 pn q es una tautologa.
En notaci
on de c
alculo proposicional escribimos
p1
p2
..
.
pn
q
2 Reglas de Inferencia
En seguida apuntamos algunas de las reglas mas usuales con alguna justifi-
caci
on.
p
pq
q
pq
q
p
2
Demostracion. Debemos probar que (p q) q p es tautologa.
Para no hacer una tabla, procedemos as: Si (p q)q es V, entonces
p q y q son V, y por tanto q es F y p es F. Luego, p es V.
pq
q
p
Demostraci
on. Procedemos as:
Silogismo Hipot
etico.
pq
qr
pr
(p q) (r s)
p
r
qs
3
Demostraci
on. Debemos probar que
(((p q) (r s)) p r) (q s)
Dilema Destructivo.
(p q) (r s)
q
s
p r
Demostraci
on. Debemos probar que
Las leyes l
ogicas siguientes, que ya conocemos, tambien son reglas de
inferencia.
Conjunci
on y Disyunci
on.
p p
q q
pq pq
Idempotencia.
p pp p pp
, , ,
pp p pp p
4
Simplificaci
on.
pq pq
,
p q
Adici
on.
p
pq
Involuci
on.
p p
,
p p
.... y as sucesivamente.
2. Cu
ales de los siguientes razonamientos son correctos?
3. Utiliza modus ponendo ponens para deducir una conclusion de cada uno de
los conjuntos de premisas siguientes:
5
(c) Si x es un n
umero racional, y y es un n
umero irracional, entonces x + y
es un numero irracional; x es un numero racional y y es un n umero
irracional.
(d) Si x > y y y > z, entonces x > z; x > y y y > z.
(e) Si x = y y y = z, entonces x = z; x = y y y = z.
4. Demuestra la Simplificaci
on Disyuntiva
(p r) (q r)
pq
r
(p q) (r s)
(p q) (r s)
p
pq
r
qs
qs
(p q) (r s)
(p q) (r s)
q
q s
s
p r
p s
pq
p (q r)
r