PARCIAL PRIMER CORTE – LOGICA COMPUTACIONAL

1) Escriba la simbología de las siguientes proposiciones:

Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para ello y no tengo
que ir a trabajar. [p: ir de vacaciones. q: no hacer nada. r: tener tiempo. s: ir a
trabajar].

2) Elabore la tabla de verdad de las siguientes proposiciones compuestas

a) d) g) j)
( p ⇒ q )∧( q⇔− p ) p⇒−(qΔ− p) ( p∨q )⇔(− p∧−q ) −( p∨q )⇔( p∧−q )
b) h)
e) pΔ(−q ⇒ p ) k) −( p ⇒−q ) Δp
( p∧−q )∨(−p ⇔ q ) ( p ⇒ q )⇔(−q∧ p )
c) f) i)
l) ( p∧q ) ⇒ q
( p∧q )⇔(− p∨q) ( p∧q )⇔−q [ p ⇒(q∨−p )]⇒−q

3) Si p∧−q es verdadero ¿se puede determinar el valor de verdad de

( p∧q )⇔( p∨q ) ?

4) Halle el valor de verdad de ( p ⇒ q )∧( p∧−q ) si q es verdad

En todos los casos justifique su respuesta.

5) Seleccione un dominio para el cual la proposición es cierta y un

dominio para el cual es falsa.

a) Todo el mundo habla japonés.

b) Algunas personas hablan japonés. (Cierta)
c) Hay alguien mayor de 21 años en el salón de clases.
1 1
d) 2x + 1 < 0. Cierto para x < - , Falsa para x > ó = - .
2 2
e) Alguien sabe mucho más matemática discreta que los demás.
(El grupo de estudiantes que obtenga A).
f) X 3 > 0. Cierta para toda x > 0. Falsa si x < = 0.
g) X2- 4x > 0. Cierta para x < 0 ó x > 4.

6) En el dominio de todos los libros, considere los siguientes

predicados: P(x) = es pesado C(x) = ese confuso
PARCIAL PRIMER CORTE – LOGICA COMPUTACIONAL