Lgica - FCE

TRABAJO PRACTICO NUMERO TRES

Primera parte
(A) Determine mediante el sistema T (sistema de rboles) si los siguientes razonamientos
son vlidos o invlidos.
1. x (Qx Rxc), Rac / Qa .
Solucin: No es un razonamiento vlido pues se obtiene un rbol abierto a partir de
las premisas etiquetadas con V y de la conclusin etiquetada con F, de modo que la
conclusin no es derivable en T a partir de las premisas.
Vx(Qx Rx)
VRac
FQa
VQa Rac
VQc Rcc
/ \
FQa VRac
/ \
x
FQc VRcc
2. x( Px Qx&Sx) / x(Px Qx) .
3. xz(Px&Rx Qxz) / x(Px zQxz)
4. y(Py Qy), z(Pz xQx) / xQx.
5. z(Sz Pz), zSz / yPy
(B) Determine mediante el sistema T si los siguientes enunciados son leyes lgicas.
1. x(Px (PxQa))
Solucin: El enunciado es ley lgica, pues el rbol obtenido a partir de etiquetarlo
con F es cerrado, de modo que es un teorema de T.
Fx(Px (PxQa))
F(Pb (PbQa))
FPb
F(PbQa)
VPb
FQa
x

2. x(Px y(Rxy Py))

3. x(y(Rxy&Sy) (Px yRxy))
4. xy(Rxy&Ryx) yRyy.
5. x(((Px Qx) Px) Px)).
6. xySxy Scc
(C) Determine si los siguientes conjuntos de enunciados son consistentes.
1. {xQx, z Qz}.
Solucin: el conjunto es consistente pues el rbol formado a partir de sus
enunciados componentes etiquetados con V resulta abierto.
VxQx
Vz Qz
VQa
VQb
2. {xySxy, xySxy}
3. {x Rxx, xy(Rxy Ryx)}.
4. {xySxy, zSzz}.
(E) Determine mediante el sistema T (sistema de rboles) si los siguientes razonamientos
son vlidos o invlidos. En caso de que sean invlidos construya una valuacin que
constituya un contraejemplo. (Hga lo mismo con el ejercicio (A), en el caso de que haya
razonamientos invlidos.)
1. x(PxQx) / xQx.
Solucin: No es un razonamiento vlido pues el rbol formado a partir de las premisas
etiquetadas con V y la conclusin etiquetada con F es abierto, de modo que la conclusin
no es derivable en T a partir de las premisas.
Vx(PxQx)
FxQx.
FQa
V PaQa
/ \
VPa VQa
x
Valuacin: I(Pa)=v, I(Qa)=f.
2. x(Px Qx) / xPx xQx.
3. y(Qy Sy), x(Px QxSx) / xPx.

4. xySxy / x y(Ty&Sxy).
5. x(Px Qx) / x(Px&Sx) xQx.
(F) Determine si los siguientes conjuntos de enunciados son consistentes o inconsistentes.
En caso de que sean consistentes construya una valuacin.
1. { xyRxy, xRxx}
Solucin: El conjunto es consistente, pues el rbol generado a partir de sus
miembros etiquetados con V es abierto.
VxyRxy
VxRxx
VyRay
VRbb
FRbb
VRaa
VRab
La valuacin queda definida como: I(Rab)=v, I (Raa)=v, I (Rbb)=f. (I (Rba)=v o
I(Rba)=f.).
2. {x y(Rxy Ryx), xyRxy}
3. {zx (Rzx Tx), xTx, xyRxy }.
4. {x y(Py Qxy), x(Px yQxy)}
5. {xPxxQx, xQx, x(Qx&Px)}
6. {xRxx, xy(Rxy Ryx)}.
(G) En cada uno de los casos que se presentan a continuacin, se dan dos grupos de
enunciados de LPO, y se debe determinar para cada enunciado del grupo II: (a) que se
infieren del grupo I, (b) determinar especficamente de cul (cuales) enunciado
(enunciados) del grupo I se infiere. Esto implica: tomar cada enunciado del grupo II,
negarlo, adjuntarlo a los del grupo I y efecte una derivacin en T ( es decir, construya en
cada caso el rbol, que debe ser cerrado).
Caso 1. Grupo I:
1. x(Rxc Sx & Tc).
2. Sa Qa.
3. Ray
Grupo II:
1. Rac Qc.
2. Sa.
3. xQx

Solucin:

El enunciado 1 del grupo II se infiere del enunciado 3 del grupo I.

Vx(Rxc Sx & Tc).
VSa Qa.
VRay
F(Rac Qc)
FRac
FQc
VRaa
VRac
x
El enunciado 2 del grupo II se infiere de los enunciados 1 y 3 del grupo I.
Vx(RxcSx&Tc).
VSa Qa.
VRay
FSa
VRacSa&Tc
VRccSc&Tc
/
\
FRac
VSa&Tc
x
VSa
VTc
x
El enunciado 3 del grupo II se infiere de los enunciados 1, 2 y 3 del grupo I
Vx(RxcSx&Tc).
VSaQa
VRay
F xQx
VxQx
VQa
VQc
/
\
FSa
VQa
VRacSa&Tc
FQa
2
VRccSc&Tc
x
/
\
FRac
VSa&Tc
VRaa
VSa
VRac
VTc
x
x
Caso 2. Grupo I:
1. Pa xQx.
2. xyRxy.
3. Rab xQx.
Grupo II:
1. xQx.

2. Rab & xPx.

3. x(Pa Qx).
Caso 3. (vase caso 2 del ejercicio H del TP 2) Grupo I
1. x (Px Sx & Tx).
2. z(Qz & Uz).
3. Qa & Qb.
4. x(Px y(Qy & Rxy)).
5. Pc.
Grupo II
1. Sc.
2. Ua & Ub.
3. x (Px & Tx).
Caso 4. (vase caso 3 del ejercicio H del TP 2) Grupo I:
1. z(Pz&Sz Raz).
2. x(Qx&Tx Rbx).
3. y(Uy Rcy).
4. x(Ux Tx).
5. (Pd&Qd) & Td.
6. Te & Ue.
Grupo II:
1. x(Ux & Tx).
2. Rce.
3. Rbd.
4. Td & Te.
Caso 5. Grupo I:
1. x(Rxa & Sa).
2. x(Sx Txa).
3. Sb & Tca.
Grupo II:
1. y(Tya & Sy).
2. xRxa.
3. Sc.
4. z(Sz & Tza).
Ejercicios adicionales
(H) Demuestre mediante el sistema T de rboles lgicos la validez de los razonamientos
que aparecen en el Trabajo Prctico Nmero Dos.
(I) Demuestre mediante el sistema T de rboles lgicos todas las leyes lgicas que aparecen
en el Trabajo Prctico Nmero Dos.

(J) Demuestre mediante el sistema T de rboles lgicos que los conjuntos de enunciados del
ejercicio (D) del Trabajo Prctico Nmero Dos son inconsistentes.
(K) Determine mediante el sistema T (sistema de rboles) si los siguientes razonamientos
son vlidos o invlidos. En el caso de que sean invlidos construya una valuacin que
constituya un contraejemplo.
1. x(SxQx), x(Px&Qx) / x(Sx Px)
2. x(Pxb Pab), Pab / xPxb
3. xRx, z(PzQz Rz) / yQy.
(L) Demuestre mediante el sistema T de rboles la validez de las reglas del sistema N de
deduccin natural. Comience con las reglas que no incluyen supuestos. Para las reglas de
negacin y la regla () haga uso de la ley de equivalencia A&A. Para las reglas con
supuestos, las subderivaciones deben verse como rboles cerrados. Por ejemplo, para
demostrar la regla (I) debe partir del supuesto de que se genera un rbol cerrrado a partir
de A / B y de all mostrar que entonces el rbol formado a partir de A B es tambin
cerrrado.
(M) Muestre la equivalencia entre el sistema N de Deduccin Natural y el sistema T de
rboles. Esto significa demostrar dos cosas : (a) un razonamiento es vlido ( o una
derivacin es correcta ) en N si y slo si es vlido ( es correcta ) en T , (b) un enunciado es
teorema en N si y slo si es teorema en T .
Ideas para la demostracin : Las reglas de T que no contienen bifurcaciones deben verse
como diferentes derivaciones en N con diferentes conclusiones . Las reglas de T que
contienen bifurcaciones deben verse como derivaciones en N patas para arriba ,
cambiando los enunciados afirmados por negados y viceversa.
(N) Sobre la base de definir la disyuncin exclusiva como AwB =df A&B A&B,
formule reglas de rboles para esta conectiva.
(0) Resuelva los ejercicios de (A), (B) y (C) mediante el sistema TN que emplea frmulas
sin etiquetar.

Segunda parte
(A) Determine mediante el mtodo de los rboles, sistema T* para LE, si los siguientes
razonamientos de la lgica de enunciados son vlidos o invlidos. En caso de que sean
invlidos construya una valuacin booleana que sea un contraejemplo:
1. p q, q / p
Solucin: es invlido, pues da lugar a un rbol abierto.
p q
q
p

/ \
p q
x
La valuacin booleana generada por la rama abierta es: V(p)=f, V(q)=v.
2. pq, (pq) / p&q.
3. p q, r s, pr / (q&s).
4. pq, pr, qs, p q / sq & rp
(B) Determine mediante rboles lgicos si los siguientes enunciados son tautologas
contradicciones o contingencias.
1. p (p q).
Solucin: El rbol formado a partir de la negacin del enunciado es cerrado. Luego
el enunciado es una tautologa.
(p (p q))
p
(pq)
p
q
x
2. (pq) (pq) .
3. (p p q& q) .
4. ( pq) p .
5. (pq) & ( p&r) q .
6. (p&p) & (p& p) .
7. ((qp) & (qr) ) .
8. ( p& q) (q p) .
(C) Construya (a) la forma normal conjuntiva y (b) la forma normal disyuntiva de los
enunciados siguientes.
1. (s (t&s)).
Solucin:
(a) la forma normal conjuntiva, obtenida mediante rboles duales, es: s & (ts),
siendo el rbol dual correspondiente el siguiente:
(s (t&s)).

\
s
(t&s)
t
s
s
(b) La forma normal disyuntiva, obtenida mediante rboles, es: t&s s., y el rbol
es el siguiente:
(s (t&s)).
s
(t&s)
/
\
t
s
s
2. (pq) t .
3. (t (s pt )) .
4. t (s(rp)) .
5. (p&s) (s(sp ) ) .
6. (p&q) (qp) .
7. (p & (qr)) (s&p) .
8. ((pq) r&q) (r&q) .
9. (pq ) & (rt) .
10. (pq) & ((q s) r&s) .
(D) Construya (a) la forma normal conjuntiva y (b) la forma normal disyuntiva de los
enunciados que aparecen en el ejercicio (B).
(E) Aplique el mtodo de resolucin para determinar la validez de (a) los razonamientos
que siguen a continuacin , (b) los razonamientos del ejercicio (A), previa transformacin
de los enunciados en clusulas en ambos casos.
1. p q, q / p.
Solucin:
1) p q.
2) q
3) p.
4) p de 1) y 2).

5) de 3) y 4).
2. pr, qr, pq / r.
3. pq, rp, rq / r.
4. p (q r) / q(pr).
(F) Con ayuda de la definicin de valuacin booleana, pueden caracterizarse las conectivas
de la lgica de enunciados por medio de matrices o tablas de doble entrada, que para cada
conectiva indican todos los posibles valores que adopta el enunciado con esa conectiva
como smbolo principal sobre la base de los valores de sus subfrmulas inmediatas. Por
ejemplo, en el caso de la conjuncin se obtiene la tabla
p
q
p&q

v
v
v
v
f
f
f
v
f
f
f
f.
Construya las tablas correspondientes a las restantes conectivas , , y .

Tercera parte
Dadas las siguientes teoras default, expresadas en lenguaje ordinario, construya los
escenarios respectivos para justificar los enunciados que se indican en cada caso. Esto
implica: (a) simbolizar las teoras en LPO, (b) chequear consistencia de los candidatos a
escenarios mediante el sistema T, (c) derivar en 8el sistema N o en el T el enunciado a
justificar a partir del escenario correspondiente.
1. Hiptesis: Los mamferos son vivparos. Los ornitorrincos son ovparos.
Hechos: Todos los ornitorrincos son mamferos. Ningn ovparo es vivparo. Pipo es un
ornitorrinco.
Enunciados a justificar: (i) Pipo es ovparo, (ii) Pipo es vivparo.
Solucin:
(a) cdigo de traduccin: Px: x es mamfero, Qx: x es vivparo, Rx: x es ornitorrinco, Sx: x
es ovparo, a: Pipo.
Hiptesis: {Px Qx, Rx Sx}
Hechos: {x(Rx Px), x(Sx Qx), Ra}
Enunciados a justificar: (i) Sa, (ii) Qa.
(b) Escenario para (i) : {Ra Sa, Ra Pa, Sa Qa, Ra}
Ra Sa
Ra Pa

Sa Qa
Ra
/ \
Ra Sa
x
/ \
Ra Pa
x
/ \
Sa Qa
x
El rbol es abierto, de modo que el conjunto de enunciados es consistente.
Escenario para (ii): {Pa Qa, Ra Pa, Sa Qa, Ra}
Pa Qa
Ra Pa
Sa Qa
Ra
/
\
Ra
Pa
x
/
\
Sa
Qa
/ \
/ \
Pa Qa Pa Qa
x
x
x
Derivacin en N para (i):
1)
- Ra Sa
2)
- Ra
3)
Sa
MP 1 y 2.
Derivacin en N para (ii):
1)
- Pa Qa
2)
- Ra Pa
3)
- Ra
4)
Pa
MP 2 y 3.
5)
Qa
MP 1 y 4.
2. Hiptesis: Las playas del Atlntico Sur no son de aguas clidas. Las playas de Brasil son
de aguas clidas.
Hechos. Todas las playas al sur de Porto Alegre son playas del Atlntico Sur. Cassino es
una playa de Brasil. Cassino es una playa al sur de Porto Alegre.
Enunciados a justificar: (i) Cassino es una playa de aguas clidas. (ii) Cassino no es una
playa de aguas clidas.
3. Hiptesis: Los bancos pequeos son menos solventes que cualquier banco grande. Los
bancos nacionales son menos solventes que los bancos extranjeros.
Hechos: Banco Agrario es un banco nacional y grande. Superbank es un banco pequeo y
extranjero. Banco Sarmiento es un banco nacional y pequeo.

Enunciados a justificar: (i) Banco Agrario es menos solvente que Superbank. (ii)
Superbank es menos solvente que Banco Agrario. (iii) Banco Sarmiento es menos solvente
que Banco Agrario.
4. Hiptesis: Las regiones con clima clido son aptas para el cultivo del arroz. Las regiones
con clima hmedo son aptas para el cultivo del arroz.
Hechos: Ninguna regin con clima seco es apta para el cultivo del arroz.
Santiago del Estero es una regin con clima seco y clido. Corrientes es una regin con
clima hmedo y clido. Santa Cruz es una regin con clima seco y fro.
Enunciados a justificar: (i) Corrientes es una regin apta para el cultivo del arroz. (ii)
Santiago del Estero no es apta para el cultivo del arroz.
5. Hiptesis: Los hoteles de cuatro estrellas tienen habitaciones espaciosas. Los hoteles
cntricos no tienen habitaciones espaciosas.
Hechos: El Savoy es un hotel de cuatro estrellas. El Palace es un hotel cntrico de cuatro
estrellas.
Enunciados a justificar: (ii) El Savoy tiene habitaciones espaciosas. (ii) El Palace tiene
habitaciones espaciosas. (iii) El Palace no tiene habitaciones espaciosas.

Cuarta parte
(A) Realice el ejercicio 4.3 de JEFFREY (1986) p. 101
(B) Realice los ejercicios 7.3 a 7.20 de JEFFREY (1986) pp. 174-176.
(C) Realice los siguientes ejercicios de JEFFREY (1986 ) pp. 122-124 :
5.6. (referido a sistemas axiomticos de lgica ) ;
5.7 ( referido a transitividad de la implicacin semntica ) ;
5.8. (demostracin de compacidad de la implicacin semntica);
5.9. (demostracin del teorema de deduccin).

(D) El mtodo de resolucin puede extenderse al lenguaje de predicados, si se agregan las

siguientes dos reglas: (1) x A[x] / A[a] y (2) x A[x] / A[c] , siendo c una constante
nueva, y si se aplican las leyes de equivalencia de cuantores. Sobre esta base, resuelva los
razonamientos del ejercicio (A) de la Primera parte.
(E) Muestre que el resolvente de dos clusulas de Horn con cabeza es una clusula de
Horn.
(F) Muestre la equivalencia entre el sistema de rboles y el mtodo de resolucin.

(G) Realice el ejercicio 7.21 (forma normal prenexa) de JEFFREY (1986) p. 176.
(H) Reduzca los siguientes enunciados del lenguaje de predicados a forma normal prenexa.
(1) x (Px y (Rxy z Syz)).
(2) y (Py ( xPx Qy)).
(3) y ((x(Px Rxy) (x Px z Ryz))
(4) y (xRxy (Px zRxz)).
(5) xyRxy xPx.
(6) xPx xyRxy.
(7) xy(Rxyz(Rxz&Ryz)) & x y(Rxy Ryx).
(8) (xyRxy x(Qx&Px)) & xSx.
(9) z(yx(Px Qx) Pz).
(10) x(PxQx) (x PxxQx).
(I) Realice el ejercicio 8.3 de JEFFREY (1986) p. 203 (forma normal de Skolem).