UNIVERSIDAD DE CONCEPCION

FACULTAD DE CIENCIAS
FISICAS Y MATEMATICAS
DEPARTAMENTO DE INGENIERIA MATEMATICA
ALGEBRA Y ALGEBRA LINEAL 520142
Listado 1 (Logica)
1. Dentro de las siguientes proposiciones, identifique y asigne una letra a las proposiciones
simples que contienen, y luego reescriba cada proposicion en forma algebraica, usando los
conectivos l
ogicos.
a) Si n es m
ultiplo de 2, y m es m
ultiplo de 10, entonces su diferencia no puede ser
impar.
b) Para que Rayen y Millaray sean consideradas hermanas es necesario que sean hijas
del mismo padre o de la misma madre.
c) La se
nal esta debil pero es constante.
d) Una funci
on no puede ser inyectiva si hay dos puntos distintos que tienen la misma
imagen.
(En pr
actica)
2. Escriba la negacion de las siguientes proposiciones.
a) Estoy en practica de
algebra si y solo si hoy es viernes.

(En pr
actica)

b) Una condicion necesaria para que este en practica de algebra es que hoy sea da
martes.
(En pr
actica)
c) Una condicion suficiente para que un n
umero entero sea divisible por seis es que sea
divisible por dos y tres.

d) Todos los estudiantes de Algebra

estudian clase a clase.
e) En nuestra galaxia existe un u
nico sol.

(En pr
actica)

3. Considere las siguientes proposiciones:

p: Juan va al cine todos los das.
q: A Juan le gusta el cine.
r: Juan no tiene televisor en su casa.
Escriba en castellano las siguientes expresiones:
a) p (r q).
b) (p q).

(En pr
actica)

c) q r p.
4. Sabiendo que la proposicion p q es falsa, determine el valor de verdad de las siguientes
proposiciones.
a) q p
b) ( p q)

c) [p (p q)] q
5. Use una tabla de verdad para determinar si las siguientes proposiciones corresponden a
una tautologa, contradiccion o contingencia.
a) (p q) [ (p q) ( p q) ]

(En pr
actica)

b) (p q) (q p)
c) (p q) ( p q)

(En pr
actica)

d) [( p q) ( r q) r] p
e) (p F) p
6. Usando tautologas conocidas, reduzca al maximo las siguientes expresiones.
a) (p q r) (r p q).
b) [( p V) (q p)] [q (r r)]
c) [ (p q) p]
7. Probar las siguientes implicaciones logicas que son algunas de las llamadas reglas de inferencia.
a) p = (p q)

(Adicion)

b) (p q) = p

(Simplificacion)

c) [ p (p q) ] = q
d) [ (p q) q ] = p
e) [ (p q) p ] = q

(Modus ponens)
(Modus tollens)
(Silogismo disyuntivo)

f ) [ (p q) (q r) ] = (p r)
8.

(En pr
actica)

(En pr
actica)

(Transitividad)

a) Se define el conectivo ( disyuncion excluyente) por la siguiente tabla de verdad:

p
V
V
F
F

q
V
F
V
F

pq
F
V
V
F

Pruebe que p q (p q). Luego exprese p q usando solo , o . (En

pr
actica)

b) Sea el conectivo definido por la siguiente equivalencia logica

p q (p q) ( p q).
Demustre la tautologa p (p q) q.
9. Encuentre la formula l
ogica Exp que corresponde a la siguiente tabla de verdad:
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

Exp
F
F
F
V
F
V
V
F

10. Defina las variables y funciones propocicionales necesarias para transcribir las siguientes
afirmaciones al lenguaje matematico:
a) Todos los chilenos saben leer, pero no todos entienden lo que leen.
b) Todo n
umero entero tiene un m
ultiplo que es tambien m
ultiplo de 3. (En pr
actica)
c) Hay un u
nico n
umero natural que divide a todos los demas.
d) Un n
umero es primo si y solo si no existe ning
un n
umero distinto de el y del 1, que
lo divida.
11. Niegue cada una de las proposiciones que siguen y luego transcrbalas al castellano.
a) (x N)(y R) : x < y
b) x R, n N : n x n + 1

(En pr
actica)

c) (!n N) tal que x R : x n

d) x R, y R :

x2 + y 2 < 0.

e) > 0, x R, y R : |x y| >
f ) x R, ! y N : xy 0 |x y| = 2x

(En pr
actica)

12. Para cada una de las afirmaciones de los problemas 10 y 11, decida su valor de verdad.
Justifique su respuesta.
(En pr
actica)
13. Considere los teoremas:
a) Una condicion suficiente para que un triangulo sea equil
atero es que tenga dos angulos
iguales y un
angulo de 60 grados sexagesimales.
(En pr
actica)
b) Una condicion necesaria para que un n
umero x sea real es que x2 6= 1.
Escriba los teoremas en la forma H T y enuncie la contrarecproca de cada uno de ellos.

RRS/RNG/JMS/AGS/LNB/JSA/BBM/LRS/ags