U.T.N.

BA-DEPARTAMENTO DE INGENIERA EN SISTEMAS DE INFORMACIN

MATEMTICA DISCRETA CTEDRA GRANADO PERALTA
AO 2014
TRABAJO PRCTICO N 1

Clculo proposicional y clculo de predicados

Ejercicio n 1
a) Indicar cuales de los siguientes enunciados son proposiciones
o
o
o
o
o

6 es un nmero impar
3+6=9
x+y9
San Martn es un prcer argentino
Qu bien ests !!!

b) Para las siguientes proposiciones dar su valor de verdad

o
o
o
o
o

Jorge Luis Borges fue premio Nobel de literatura

5 + 19 = 24
Todos los seres humanos son rubios
El sistema planetario tiene como centro al sol
Mozart fue un gran compositor

c) Para las siguientes proposiciones se pide escribirlas simblicamente

o
o
o
o
o
o
o
o
o

Carlos viajar a Crdoba o a Mendoza

Maana al medio da ir al cine o al teatro
Carlos viaj a Salta con una mujer rubia y alta
Si como mucho entonces engordo
Si San Martn fue un prcer argentino entonces Gauss fue un gran
matemtico
Si estudio mucho entonces me canso
Habr un brindis slo si no llueve.
Aprobar la materia si y slo si estudio entendiendo
Si todos los nmeros son pares entonces 2 divide a 5

d) Considerar las proposiciones: p= est lloviendo, q= ir al campo, r= no

tengo tiempo. Traducir al lenguaje usual las afirmaciones que se
corresponden con cada una de las proposiciones siguientes:
o q (rp)
o rq
o (qr) (rq)
Ejercicio n 2
Construir en cada caso la tabla de verdad,
tautologa, contingencia o contradiccin

indicar si se trata de una

U.T.N.BA-DEPARTAMENTO DE INGENIERA EN SISTEMAS DE INFORMACIN

MATEMTICA DISCRETA CTEDRA GRANADO PERALTA
AO 2014
TRABAJO PRCTICO N 1

Clculo proposicional y clculo de predicados

o
o
o
o
o
o
o
o
o

(pq) (q p)
(p q) q
(q p) q
[p (q r)] [(pq) (p r)]
p (p q)
(p q) p
[(p q) p] (pq)
[(p q) (r s)] [(p r) (q s)]
( p q ) p

Ejercicio n 3
Considerar las proposiciones p, q, r y resolver cada una de las siguientes
cuestiones:
o Usando la contradiccin P P, demostrar que (p q) (p q) es
una contradiccin
o Sin hacer la tabla de verdad mostrar que las siguientes proposiciones
son equivalentes: [p q) r ] y [(p r) (q r)]
o Dar los casos para los cuales la proposicin (q [ ( p r) s ])
[s ( r q)] es verdadera
o Demostrar que p (qr) y ( p q) r son equivalentes
Ejercicio n 4
Para la siguiente proposicin: No puedo entender el tema si no me ayudas
Se pide:
o Escribirla simblicamente
o Dar los enunciados recproco, contrario y contrarrecproco
Ejercicio n 5
Para las siguientes proposiciones se pide simplificarlas
o
o
o
o
o
o
o

( p q) q
(p q) [( p q) ( ( p r)) q]
[( p q) r] - q
p q [( p q) (p q) ( p q)]
(p (s q)) ( q s )
{[( (p q) r) (( p r ) r)] q}s
(p q) (p q) (p q)

U.T.N.BA-DEPARTAMENTO DE INGENIERA EN SISTEMAS DE INFORMACIN

MATEMTICA DISCRETA CTEDRA GRANADO PERALTA
AO 2014
TRABAJO PRCTICO N 1

Clculo proposicional y clculo de predicados

Ejercicio n 6
Probar, sin hacer las tablas de verdad, cada una de las cuestiones planteadas.
T significa tautologa y C: contradiccin
o [(p q) p] T
o ((p q) p) C
o [(q p) (p q) (q q)] p
o [(p p) (p p)] C
Ejercicio n 7
Sin usar tablas de verdad analizar la validez de los siguientes razonamientos.
o
o
o
o

[(p q) (q r)] (p r)
[(p q) p] q
[(p s) ( pq) (q s)] p
[ p ((s r) (s t)) t] p

Ejercicio n 8
Dar la conclusin para cada uno de los siguientes casos. Indicar la regla de
inferencia usada.
o Si estudio aprobar la materia. No estoy estudiando
o Las funciones trigonomtricas son peridicas. Las funciones
peridicas son continuas
o Voy al cine. Si voy al cine me gusta comer nachos.
o El verano me alegra. El invierno me entristece. Es verano o invierno
Ejercicio n 9
Considerar las siguientes proposiciones: p=Estudio mucho, q= Entiendo todo,
r= Apruebo la materia. Escribir simblicamente y analizar la validez de cada uno
de los siguientes razonamientos:
o Si estudio mucho entonces entiendo todo. Si no apruebo la materia
entonces no entiendo todo. Por lo tanto apruebo la materia
o Si estudio mucho o apruebo la materia entonces entiendo todo.
Entiendo todo. Por lo tanto si no estudio mucho entonces apruebo la
materia.

U.T.N.BA-DEPARTAMENTO DE INGENIERA EN SISTEMAS DE INFORMACIN

MATEMTICA DISCRETA CTEDRA GRANADO PERALTA
AO 2014
TRABAJO PRCTICO N 1

Clculo proposicional y clculo de predicados

o Si estudio mucho entonces entiendo todo o apruebo la materia. No

entiendo todo y no apruebo la materia. Por lo tanto no estudio
mucho.
Ejercicio n 10
Para el predicado p(x; y) definido en el conjunto Z de los nmeros enteros.
Si x= 3, y = 8 analizar el valor de verdad de las siguientes proposiciones
o
o
o

Si y x = 5, entonces x = x 2
Si [(2y = x) y (x:4 = 1)], entonces x = 4y 3
Si x. y 35, entonces x = 3y + 7

Ejercicio n 11
Considerar las siguientes proposiciones definidas en el conjunto de los nmeros
enteros.
p(x; y; z): x. y = z, q(x; y): x = y, r(x; y): x > y. Escribirlas simblicamente y
dar el valor de verdad de las siguientes proposiciones
o
o
o
o
o
o
o

Si y = 1, entonces xy = x para cualquier x.

Si x. y = 0, entonces x = 0 = y
Si x. y = 0, entonces algunas de las variables es nula
3x = 6 si y slo si x = 2.
Slo en el caso que y > 0 hay solucin para para x2 = y
x < z es una condicin necesaria para que x < y e y < z.
x y e y x es una condicin suficiente para que y = x.

Ejercicio n 12
En el conjunto de los nmeros enteros analizar el valor de verdad de las
siguientes proposiciones:
o x: x < 2 x
o x: x < 2 x
o x: x = 2
o x: x = 2 x
Ejercicio n 13
Identificar las variables libres y ligadas para cada uno de los siguientes casos
o x [p(x) y : (t(x; y) r(y))]
o x [p(x; z) x (t(y; z) ]

U.T.N.BA-DEPARTAMENTO DE INGENIERA EN SISTEMAS DE INFORMACIN

MATEMTICA DISCRETA CTEDRA GRANADO PERALTA
AO 2014
TRABAJO PRCTICO N 1

Clculo proposicional y clculo de predicados

Ejercicio n 14
Sean los predicados: p(x; y; z): x +z = y, q(x; y; z): x .y = 2z definidos en el
conjunto de los nmeros naturales. Escribir simblicamente y dar su valor de
verdad
o
o
o
o
o

Para cada x e z, existe un y tal que x + z = y

Ningn x es menor que cero.
Para todo x es x + 0 = x.
Para todo x, x y = y para todo y.
Existe un x tal que x y = y para cada y

Ejercicio n 15
Dar el valor de verdad de las siguientes proposiciones con dominio en el
conjunto indicado
a) En el conjunto de los nmeros reales
o
o
o
o

x y: x y = 4
y x: x y = 4
x y: x y = 4
y x: x y = 4

b) A= {1, 3, 5, 15}.
x y: x es mltiplo de y

c)

qu sucede si x debe ser distinto de y?

A = {2, 13, 5, 6 , 0 , 9, 170, 26 , 82, 80, 81 }

x y: ( x2= 2k +1 y= x + 1)

Ejercicio n 16
Negar cada uno de los siguientes predicado con dominio en D
o x: [y (z: ( t: p(x; y; z; t))]
o x[y ( z: p(x; y; z) )]
o Para p( x; y; z) = x z y con el enunciado anterior en Z
Ejercicio n 17
Escribir simblicamente e indicar la validez de los siguientes razonamientos:

U.T.N.BA-DEPARTAMENTO DE INGENIERA EN SISTEMAS DE INFORMACIN

MATEMTICA DISCRETA CTEDRA GRANADO PERALTA
AO 2014
TRABAJO PRCTICO N 1

Clculo proposicional y clculo de predicados

a) Todos los alumnos de UTN BA que estudian sistemas cursan

Matemtica Discreta.
Andrea es alumna de Sistemas de UTN BA
Por lo tanto Andrea estudia Matemtica Discreta
b) El nmero a no es mltiplo de 2.
Si un nmero es par, entonces es divisible por 2.
Si un nmero es divisible por 2, entonces es mltiplo de 2.
Por lo tanto, el nmero a no es par.