ALGEBRA

a
no 2014

PRACTICA
N 1

ELEMENTOS DE LOGICA:
L
ogica proposicional cl
asica

1. En el bosque del olvido nos encontramos con el Pegaso y el Unicornio. El Pegaso miente los
lunes, martes y miercoles y el Unicornio miente los jueves, viernes y sabados. En todas las demas
ocasiones ambos dicen siempre la verdad.
Ayer me toco mentir, dice el Pegaso.
Tambien a m me toco mentir, dice el Unicornio.
Que da de la semana se produjo el encuentro?
2. Establecer cuales de los siguientes enunciados son proposiciones. Justificar.
a) x > 3
b) 3 + 2 = 6
c) Esta afirmacion es falsa (donde esta indica la propia afirmacion entrecomillas)
3. Dadas la siguientes oraciones, reescribirlas utilizando necesario y suficiente.
a) Un n
umero es m
ultiplo de 4 solo si es divisible por 2.
b) Un n
umero es par si es divisible por 2.
4. Analizar la verdad de cada una de las siguientes proposiciones:
1. Si Juan esta muerto entonces su corazon no late.
2. Si Juan esta saludable entonces su corazon late.
3. Es el caso que o bien si Juan esta muerto entonces su corazon late o si Juan esta saludable
entonces su corazon no late.
Se deduce la tercer proposicion de las dos primeras?
5. Construir las tablas de verdad de las siguientes formulas:
a) p q
b) p q
c) q p
d) q p
Comparar las tablas obtenidas para las distintas formulas.
6. Hacer las tablas de verdad de las siguientes formulas. Que puede decir acerca de las mismas?
a) p p
b) (p q) (q p)
c) p p
7. Probar al menos una de cada una de las siguientes equivalencias logicas
a) Doble Negacion:
p ( p)
b) Leyes Conmutativas:
p q q p
p q q p
1

c) Leyes Distributivas:
(p q) r (p r) (q r)
(p q) r (p r) (q r)
d ) Leyes Asociativas:
p (q r) (p q) r
p (q r) (p q) r
e) Leyes de De Morgan:
(p q) p q
(p q) p q
8. Analizar la validez formal del siguiente razonamiento:
p q, r s |= (p s) (r q). Comparar con el ejercicio 4.
9. Probar la validez de los siguientes razonamientos:
a) p, (p q) |= q

(Modus Ponens)

b) q, (p q) |= p

(Modus Tolens)

c) (p q), p |= q

(Modus Tollendo Ponens)

d ) p |= (p q)

(Adicion)

e) p q |= p

(Simplificacion)

10. Mostrar que la formula [(p ( q)) (r ( r))] (p q) es tautologica. Concluir a partir de
esto que si p, q |= (r ( r)) entonces p |= q (prueba por el absurdo).
11. Mostrar que p |= q si y solo si q |= p (prueba por el contrarecproco).
12. Probar mediante una prueba formal que de p q, ( p) r y p ( r) se deduce p q.
13. Analizar la consistencia del conjunto de formulas {p q, r ( q), p (s t), r (u t), t}


ALGEBRA
a
no 2014

PRACTICA
N 2

ELEMENTOS DE LOGICA:
L
ogica de primer orden cl
asica

1. Dar formulas de primer orden tales que las siguientes oraciones resulten interpretaciones de las
mismas. Especificar en cada caso, el Universo y la interpretacion que se hace de cada smbolo de
relacion.
a) Todo n
umero entero es o bien par o bien impar.
b) Algunas personas odian a todos.
umero natural existe un n
umero entero que lo divide.
c) Para todo n
d ) Existe un n
umero narural que divide a todos los n
umeros enteros.
2. Consideremos una interpretacion para las formulas de primer orden, con universo U = {a, b, c, d},
donde al smbolo F (x, y) lo interpretamos como hay una flecha que partiendo de x llega a y en
el diagrama dado a continuacion; lo que abreviaremos como x flecha a y y donde al smbolo
D(x) lo interpretaremos como x es a.

/b

/co

"(

3d

a) Interpretar las siguientes formulas y analizar si la interpretacion de las mismas es o no

verdadera.
i.
ii.
iii.
iv.
v.

(x)(y)[D(y) ( F (x, y))]

(x)(y)[ F (x, y)]
(y)(x)[ F (x, y)]
(x)(y)(z)[(F (x, y) F (x, z)) (y = z)]
(x)[F (x, x)] (x)(y)[(F (x, x) F (y, y)) (y = x)]

b) Hallar formulas que se interpreten en los siguientes enunciados.

i.
ii.
iii.
iv.

Todo elemento flecha a un u

nico elemento
Hay un elemento que no es flechado por ninguno
Todo elemento es flechado por otro distinto o flecha a otro distinto
Si un elemento no es flechado por ninguno, entonces el elemento es a

3. Consideremos la formula de primer orden (x)(P (x) (y)P (y)). Analizar, de ser posible, el
valor de verdad en las siguientes interpretaciones:
a) I1 : U = conjunto de los granos de arroz en una cacerola (con arroz), P (x) = x esta cocido.
b) I2 : U = Z, P (x) = x es par.
4. Dar interpretaciones en las cuales las siguientes formulas:
a) (x)P (x) (y)P (y)
b) (x)(P (x) (y)P (y))
c) (x)(y)(P (x) P (y) Q(x, y) Q(y, x))
Resulten:
i. verdaderas
ii. falsas
1

5. Analizar la validez de las siguientes formulas:

a) (x)P (x) (x)( P (x))
b) (x)P (x) (x)( P (x))
c) (x)P (x) (y)( P (y))
d ) (x)(P (x) ( P (x)))
e) (x)P (x) (y)P (y)
f ) (x)(P (x) (y)P (y))
g) (x)(y)R(x, y) (x)(y)R(x, y)


ALGEBRA
a
no 2014

PRACTICA
N 3
ELEMENTOS DE LOGICA
1. Demostrar utilizando el metodo directo:
a) Si a es par y b es par, entonces ab es par.
b) Sea f (x) = mx + b la funcion lineal real con m = 0. Mostrar que para todo x e y reales, si
f (x) = f (y) entonces x = y
2. Demostrar los enunciados del ejercicio anterior utilizando el metodo del contrarrecproco.
3. Probar por el absurdo:
a) Si x es racional e y es irracional, entonces xy es irracional.
b) Para todo par de n
umeros reales x e y , si x = 0 e y = 0 entonces xy = 0
c) Para todo n
umero real x, x > 0, hay un entero m > x
4. Probar:
a) Dos n
umeros reales a y b son races de la ecuacion x2 + px + q ( p, q reales fijos) si y solo si
a + b = p y ab = q
umero real x tal que x2 = x
b) Existe un n
c) Existe y R tal que para todo x R, x + y = x

d ) Si a y b son reales positivos, entonces a + b = a + b

e) Para todo x R existe exactamente un y R tal que x + y = y + x = 0