ALGEBRA

(Ciencias) a
no 2015

PRACTICA
1
L
ogica
1. Determinar si los siguientes enunciados son proposiciones. Justificar
a) Siete es mayor que doce.
b) Si 6 > 4 entonces 6 > 2
c) Ella es inteligente.
d ) Quen es?
e) En otros planetas del sistema solar hay diversos tipos de seres vivos
f ) De 2 + 3 5 + 4 se deduce 3 > 4.
g) Estudiare m
usica o canto.
h) Cualquier rect
angulo tiene cuatro lados.
i ) x > 2.
2. Escribir las siguientes proposiciones en lenguaje simbolico. Para las u
ltimas tres proposiciones
indicar su valor de verdad.
a) El gobierno argentino establece un control sobre la caza del zorro colorado, o esas especies se extinguir
an en un futuro muy proximo.
b) Comprendo los puntos de vista de Marta, pero no los comparto.
c) Si me levanto temprano, tomo el tren de las ocho.
d ) 8 es par o 6 es impar
e) 8 es par y 6 es impar
f ) Si 8 es impar y 6 es impar, entonces 8 < 6.
3. Dadas la siguientes proposiciones, reescribirlas utilizando necesario y suficiente.
a) Si llueve entonces uso un paraguas.
b) Un n
umero es m
ultiplo de 4 solo si es divisible por 2.
c) Un n
umero es m
ultiplo de 7 si es m
ultiplo de 21.
Enunciar los condicionales: recproco, contrario y contrarrecproco. Decir cuales son equivalentes.
4. Construir las tablas de verdad de las siguientes proposiciones y clasificarlas en tautologas,
contradicciones y contingencias.
a) p (q p)
b) ((p q) p) q
c) (p q) p
d ) p (q p)
e) ( p q) ( q p)
f ) ((p q) (r q)) (( p q) ( r q))
5. Probar al menos una de cada una de las siguientes equivalencias logicas
a) Doble Negaci
on:
p ( p)

b) Leyes Conmutativas:
p q q p
p q q p
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
6. Probar la validez de los siguientes razonamientos:
a) p
(p q)
q
b) q
(p q)
p
c) (p q)
p
q
d)

p
(p q)

e) p q
p
7.

(Modus Ponens)

(Modus Tolens)

(Modus Tollendo Ponens)

(Adicion)
(Simplificacion)

a) Analizar la verdad de cada una de las siguientes proposiciones:

i) Si 4 es par entonces 2 es impar.
ii) 4 es par y 3 es par.
iii) 2 es impar.
b) Analizar la validez del siguiente razonamiento: Si 4 es par entonces 2 es impar. 4 es par
y 3 es par. Luego 2 es impar.

8. Determinar si los siguientes razonamientos son validos. En caso afirmativo hacer una prueba
formal.
a) p (q r)
r
p q
b) p q
r p
r q
c) p q
r q
sp
s r

d ) p q
pq
q p
9. Simbolizar utilizando esquemas, cuantificadores y conectivos logicos:
a) Todos los n
umeros son enteros.
b) Existen n
umeros impares o no todos los n
umeros son pares.
c) Para todo par de n
umeros, si son reales y su producto es uno entonces uno es el inverso
del otro.
d ) Para todo par de n
umeros reales, existe otro que es mayor que ambos.
e) Existen polticos honestos.
f ) Todos los paises inexplorados son facinantes.
g) Cualquier rect
angulo tiene cuatro lados.
10. Escribir en lenguaje corriente las siguientes proposiciones, siendo el universo el conjunto de
los n
umeros reales y los esquemas definidos como sigue:
p(x) : x es par;
q(x) : x es divisible por 2;
r(x) : x > 0;
p(x, y) : y > x;
q(x, y) : x + y = 0
a) (x) (p(x) q(x))
b) (y)(x)(p(x, y))
c) (x)(y)(p(y, x + 3))
d ) (x) ( s(x) ((y)( s(y) q(x, y)))
11. Negar las proposiciones dadas de los dos ejercicios anteriores, obteniendo una forma equivalente.
12.

a) Hallar universo y esquemas para que las siguientes proposiciones sean verdaderas
1) (x)(y)(p(x, y))
2) (y)(x)(p(x, y))
b) Para las proposiciones dadas en el item anterior, hallar universo y esquemas para que
sean falsas.