Instituto Superior del Profesorado Dr. J oaqun V.

Gonzlez
Profesorado de Informtica
Lgica Informtica B (2013)

1
Prctica 2: Lgica de predicados



1. Dadas las siguientes funciones proposicionales, reemplaza la variable por elementos
del dominio tales que las transformen en primer lugar en proposiciones verdaderas y en
segundo lugar en proposiciones falsas.
i) x fue una provincia argentina
ii) x pint Guernica
iii) x fue un artista renacentista
iv) x
2
2x +1= 0
v) x es un escritor argentino
vi) x es nmero primo
vii) x >3, con x nmero real
viii) x escribi El Quijote
ix) x recibi en premio Nobel de Medicina
x) x es un cuadriltero que tiene todos sus lados congruentes
xi) x es el lugar geomtrico de los puntos del plano que equidistan de otro
llamado centro

2. i. Expresa en lgica de predicados de primer orden cada una de las siguientes
proposiciones. Indique en cada caso el dominio de cada funcin proposicional que
declare.
ii. Expresa como proposiciones categricas, aquellas que sea posible.
iii. Niega cada una de ellas en lgica de predicados y en lenguaje coloquial.
iv. Grafica en diagramas de Venn, aquellas que sea posible.
a. Algunas materias son fciles de aprobar.
b. Todos los alumnos aprobaron el primer parcial.
c. Alguien aprob el primer parcial, pero no el segundo.
d. El alumno de la licenciatura debe estudiar.
e. Existen buenos libros.
f. No hay libros intiles.
g. Ningn libro es totalmente malo.
h. No todos los libros estn en castellano.
i. Los libros de lgica son ms claros que los de lgebra.
j. Slo los libros de lgica son ms claros que los de lgebra.
k. Algunos exmenes slo pueden rendirse en marzo o diciembre.
l. Algunos exmenes slo pueden rendirse en 2014.
m. Nadie estudi nada.
n. Alguien estudi todo.

3. Indica cules de los siguientes enunciados corresponden a verdades matemticas
dentro del conjunto de los nmeros naturales (Considera el 0 como nmero natural):
a. xy (x+y = y+x)
b. x-y (x+y = 0)
c. x-y (y>x) . ~x-y ( y< x)
d. xy (x+y = 3 0=1)
e. -xy (x.y = x)
f. -xy (x.y = 1)
g. x-y (x.y = 1)
h. -x-y (x.y = x + y)

Instituto Superior del Profesorado Dr. J oaqun V. Gonzlez
Profesorado de Informtica
Lgica Informtica B (2013)

2
4. Simboliza los siguientes enunciados en lgica de predicados de primer orden,
primeramente sin utilizar cuantificadores existenciales y luego sin utilizar
cuantificadores universales:
a. No todos los animales comen carne.
b. Algunas pjaros comen granos o hierbas.
c. Ningn ratn es ms pesado que un gato.
d. Todo nmero es negativo o posee raz cuadrada.

5. Para cada una de las siguientes frmulas de la lgica de predicados indica:
a. Alcance de cada cuantificador
b. Variables libres
c. Si se trata o no de una proposicin
d. Para aquellos casos que sean proposiciones, realice una traduccin
coloquial
e. Niegue las proposiciones obtenidas en d.
i. x (A(x) B(x))
ii. x A(x) B(x)
iii. x A(x) B(a)
iv. x-y (P(x, y) Q(x))
v. x ~-y A(x,y)
vi. x ~-y (A(x,y) B(x))
vii. x ~-y A(x,y) B(x)
viii. x ~(-y A(x,y) B(x)

6. Simboliza los siguientes enunciados en lgica de predicados de primer orden,
primeramente sin utilizar cuantificadores existenciales y luego sin utilizar
cuantificadores universales:
e. No todos los libros de matemtica tienen ms de 100 hojas.
f. Algunos libros de ingls son amenos o claros.
g. Ningn libro de informtica es ms pesado que un diccionario.
h. Todo libro de poesa es corto o posee un prlogo.

7. Con la funcin proposicional: M(x,y,z) = x dijo que y sigui a z exprese, si es
posible, las proposiciones siguientes. Extrae conclusiones.
a. Juan dijo que Luis lo sigui.
b. Juan dijo que Luis sigui a todos.
c. Juan dijo que l no sigui a nadie.
d. Juan no dijo que l sigui a alguien.

8. Niega cada una de las siguientes proposiciones:
a. x(P(x) v ~Q(x))
b. -x y (x + 2y = 0)
c. x y (P(x) . ~Q(x,y) . R(y))

9. Analiza si son vlidas cada una de las siguientes equivalencias:
a. ~x -y (Q(x) . P(x,y)) Q(y) -x (y (~(~(Q(x) v ~ ~ ~ P(x,y)) . ~Q(y))))
b. ~(-x -y ((Q(x) . ~P(x,y)))) (x y(P(x,y)) Q(x)

10. Analiza la validez de cada uno de los siguientes razonamientos y realiza una
formulacin coloquial de los mismos.
a. x(P(x) v ~Q(x)) b. -x(P(x) . ~Q(x))
x(P(x) R(x)) x(P(x) R(x))
x(R(x) Q(x)) -x(R(x))
Instituto Superior del Profesorado Dr. J oaqun V. Gonzlez
Profesorado de Informtica
Lgica Informtica B (2013)

3

c. x(P(x) . ~Q(x)) d. Q(a)
-x(Q(x)) x(Q(x) v ~P(x))
~x(P(x) v ~Q(x)) P(a)
-x(P(x))

11. Sean los siguientes funciones proposicionales, definidas en el Dom = {figuras
planas}, y el razonamiento que se coloca a continuacin, se pide:
i. Expresa cada proposicin como proposicin categrica.
ii. Expresa cada proposicin en lenguaje coloquial.
iii. Determina la validez del razonamiento.
P(x) = x es un paralelogramo
Q(x) = x es un rectngulo
R(x) = x es un rombo
x(~P(x) Q(x))
-x (P(x) . Q(x))
~x(~P(x) v (~Q(x) . R(x))
x(P(x))

12. i. Expresa cada uno de los siguientes razonamientos a travs de proposiciones
categricas
ii. Determina su validez.
iii. Aquellos que sean vlidos, demostrarlos por mtodo deductivo.
iv. Si no son vlidos, da un ejemplo de una conclusin que los haga vlidos.

a. Todas las selvas tropicales tienen color esmeralda. Nada que sea esmeralda est
reseco. Por consiguiente, ninguna selva tropical est reseca.
b. Todo razonamiento est compuesto por proposiciones. Todo lo que est
compuesto por proposiciones merece ser analizado. Por lo tanto, algo que
merece ser analizado es un razonamiento.
c. Ningn fotgrafo pinta. Todos los que no son fotgrafos son escultores. Por lo
tanto, todos los pintores son escultores.
d. Todos los epistemlogos son filsofos. Marta es epistemloga. Por lo tanto,
Marta es filsofa.
e. Ningn enamorado suspira. Todos los deprimidos suspiran. En consecuencia,
nadie que est deprimido est enamorado.
f. Todo ejecutivo que sea poeta es un hombre imaginativo. Todo hombre
imaginativo es amante del riesgo. Si todo amante del riesgo no es poeta,
entonces, ningn poeta es amante del riesgo. Por consiguiente, si todo hombre
imaginativo no es poeta, entonces, ningn ejecutivo es poeta.
g. Todos los nios son traviesos, as pues, si Guillermo es un nio, entonces, si
todos los seres traviesos son adorables, Guillermo es adorable.

13. A partir de la verdad de Ningn deportista es vegetariano qu se puede afirmar
acerca de la verdad de las siguientes proposiciones?
I. Todos los deportistas son vegetarianos
II. Algunos vegetarianos son deportistas
III. Ciertos deportistas no son vegetarianos
a) I y II son verdaderos y III es falso
Instituto Superior del Profesorado Dr. J oaqun V. Gonzlez
Profesorado de Informtica
Lgica Informtica B (2013)

4
b) I y II son falsos pero III es verdadero
c) Todos son falsos

14. Demuestra, si es posible, por el mtodo deductivo cada uno de los siguientes
razonamientos:
a. Todos los mltiplos de pares son enteros. Todos los mltiplos de 4 son pares.
Por lo tanto, todos los mltiplos de 4 son enteros.
b. Ningn nmero impar es mltiplo de 4. No hay ningn nmero triangular que no
sea mltiplo de 4. Todo divisor de 107 es impar. De lo anterior se deduce que
ningn divisor de 107 es triangular.
c. Todas las funciones derivables en R son continuas. Algunas funciones
algebraicas son derivables en R. Por lo tanto, algunas funciones algebraicas son
continuas en R.
d. Algunos nmeros impares son cuadrados perfectos. Algunos positivos son
cuadrados perfectos. Por lo tanto, algunos nmeros impares son positivos.