MATEMATICA DISCRETA INFORMATICA-AO 2015

------------------------------------------------------------------------------------------------------------------------------TRABAJO PRCTICO N 1
LGEBRA DE PROPOSICIONES- LGEBRA DE BOOLE
1. Determine cules de las siguientes oraciones son proposiciones:
a)
b)
c)
d)
e)

El Sol es una estrella.

x+3 es un entero positivo.
Quince es un nmero par
Qu hora es?
Paris est en Francia.

2. Sean p y q proposiciones simples para las que la implicacin

Determine los valores de verdad de:

a)

b)

c)

es falsa.

d)

3. Sean p, q y r las siguientes proposiciones acerca de un tringulo ABC particular. p: El

tringulo ABC es un tringulo issceles. q: El tringulo ABC es equiltero. r: El tringulo
ABC es equiangular. Traduzca cada una de las siguientes proposiciones:

a)

b)

c)

d)

e)

4. Vuelva a escribir cada una de las siguientes proposiciones como una implicacin:
a) Arregle mi aire acondicionado o no pagar la renta.
b) Mara puede subir a la motocicleta de Luis slo si usa casco.
c) Carolina tendr una buena educacin si pone sus estudios antes que su inters en ser estrella de cine.

5. Construya una tabla de verdad para cada una de las siguientes proposiciones compuestas:

a)

(
)(

)
) (

b)
)

e)

)
(

)
c) (
)
q) (

6. Clasifique las proposiciones del ejercicio 5 en tautologa, contingencia o contradiccin.

7. Determine todas las asignaciones de valores de verdad, si es que existen, para las
proposiciones primitivas p, q, r, s, t que hacen que todas las siguientes proposiciones
compuestas sean falsas.

a) [( ) ]

b) [ ( )]

( )

8. Sean p, q y r proposiciones primitivas:

a) Use tablas de verdad para verificar las siguientes equivalencias lgicas:
( ) (
)(
)
i)
[(
)
] [(
) (
)]
ii)
b) Use las leyes lgicas para ver qu:
[
(
)] [( )
]
i)
(
) ( )
ii)

MATEMATICA DISCRETA INFORMATICA-AO 2015

-------------------------------------------------------------------------------------------------------------------------------

iii)
iv)

)(

9. Refute lo siguiente y simplifique la proposicin resultante:

a) ( )
(
b)
)
) ]
c) [(
(
d)

10. Escriba los pasos y las razones para establecer las siguientes equivalencias lgicas:

) [
)]
a) (
(
[ (
)]
b)
(
c)
)
) ( )
d) [(
e)

[(

( ))

( )

]
(( ) (

))]]

11. Escriba las proposiciones dadas en forma simblica:

a) La prctica diaria de su servicio es una condicin suficiente para que Daniela tenga una buena posibilidad
de ganar el torneo de tenis.
b) Terminar de escribir mi programa antes de la comida es necesario para que juegue ftbol esta tarde.
c) La humedad baja y el sol brillante son suficientes para salir a caminar.
12. Dada las siguientes proposiciones:
a) p: El tringulo ABC es equiltero.
q: El tringulo ABC es issceles.
b) p: Los pentgonos tienen vrtices.
q: Los pentgonos tienen ngulos.
c) p: Obtengo 10.
q: Apruebo el examen.
) e indicar que condicin verifica una proposicin con respecto a la
Utiliza el conectivo adecuado (
otra (condicin necesaria, condicin suficiente, condicin necesaria y suficiente).

13. Sea p (x) la funcin proposicional

donde el universo comprende todos los enteros.
Determine si cada una de las siguientes proposiciones es verdadera o falsa:

a) p(0)

b) p(1)

c) p(2)

d) x p(x)

e) x p(x)

14. Sean p(x) y q(x) las siguientes funciones proposicionales:

p(x): x 3

q(x): x+1 es impar

Si el universo consta de todos los enteros, Cules son los valores de verdad de las siguientes
proposiciones?
a) p(1)
d) q(1)
g) p(3)

MATEMATICA DISCRETA INFORMATICA-AO 2015

------------------------------------------------------------------------------------------------------------------------------b) q(6)

e) p(7) q(7)

h)p(3)q(4)

c) p(4)

f)

i) p(-4) q(-3)

(p(-4)

q(-3)

15. Escriba cada una de las siguientes proposiciones en trminos de cuantificadores y de

funciones proposicionales:
a) Todo estudiante del grupo est en la rama de Administracin o de Informtica.
b) Al menos un estudiante del grupo estudia ingls.
c) Un estudiante del grupo ha ledo todos los artculos sobre internet.

16. Niegue las siguientes proposiciones:

a) x/ (P(x) Q(x))
b) x: (P(x) Q(x))
c) x: y/ x.y = 0
d) x: (x >0
x1)
e) x/ (P(x) Q(x))

17. Sea p(x) y q(x) las siguientes funciones proposiciones:

a)
b)
c)
d)

p(x): | |
q(x): x > 3
Y el universo consta de todos los nmeros reales.
Traduce a lenguaje comn y da el valor de verdad de las siguientes proposiciones:
x: (p(x) q(x))
x: (q(x) p(x))
x: ( p(x)
q(x))
x: ( q(x)
p(x))

18. Sea p(x), q(x) y r(x) las siguientes funciones preposicionales :

p(x):
q(x):
r(x): x < 0
a) Determine la verdad o falsedad de las siguientes proposiciones, en las que el universo est formado por
todos los enteros.
i)
x: (p(x)
r(x))
ii)
x: (q(x) r(x))
iii)
x: (q(x) r(x))
iv)
x: (p(x) r(x))
b) Determine las respuestas de la parte a) cuando el universo consta de todos los enteros positivos.
c) Determine las respuestas de la parte a) cuando el universo consta nicamente de los enteros 2 y 5 .

19. Para las siguientes proposiciones, el universo abarca todos los enteros distintos de cero.
Determine el valor de verdad de cada proposicin. Niegue las proposiciones dadas:

a) x y[

b) x y[

MATEMATICA DISCRETA INFORMATICA-AO 2015

------------------------------------------------------------------------------------------------------------------------------c) x y [

d) x y: (

20. Encuentre el valor de cada una de las siguientes expresiones booleanas si las variables
booleanas a, b, c y d son 1, 1, 0 y 0 respectivamente.
a)
b)
c)
d) (
e)

)(

21. Sean w, x e y variables booleanas, donde x toma el valor 1, para cada una de las siguientes
expresiones booleanas, determine, si es posible, el valor de la expresin. Si no se puede
determinar el valor de la expresin, encuentre entonces el nmero de asignaciones de valores
de w e y tales que producen el valor 1 para la expresin:
a)

b)
c)
d)
22. Demuestre la ley de idempotencia:

a) a+a
b) a. a
23. Demuestre la ley de involucin.
24. Demuestre las leyes de Morgan.
25. Demuestre la ley de absorcin.
26. Simplifique las siguientes expresiones booleanas:
(
)
a)
[ (
)]
b)
c)

)
d) (
(
)
e)
)
]
f) [(
) (
) (
)
g) (
27. Determine el polinomio booleano para cada uno de los circuitos que se dan:
a)

MATEMATICA DISCRETA INFORMATICA-AO 2015

-------------------------------------------------------------------------------------------------------------------------------

b)

c)

d)

28. Dibuje el circuito lgico que corresponda a cada expresin de Boole:

)(
)
a) (
b)
c)
d)
e)