TAREA SEMANA 3

1. Lee detenidamente las expresiones siguientes, e indica si es un enunciado (E), enunciado

abierto (EA) o proposición lógica (PL).

a) El, es el director de la Escuela de administración. ( )

b) Juan estudia y Alexia se divierte. ( )
c) El pollo a la brasa es lo más delicioso. ( )
d) Roberto viajará a fin de mes a Piura. ( )

2. Establecer la tautología, la contradicción y la contingencia de las siguientes proposiciones:

a)  ~ p  q    p ~ q    ~ p ~ q 
b)  p  q    p   ~p  q     p  ~q 
3. Si la proposición: ~   ~ p  q    qr   es falsa, determine el valor de verdad de p , q

y r ; luego halle el valor de verdad de: ~  r   ~ p  ~ r     q  p  .

4. Si  p  q    q  r  es falso, determinar el valor de  wt   x    p  q 

5. Formaliza las proposiciones lógicas compuestas siguientes:
a) Si Mario viene en bus, entonces llegará antes de las 6 am, pero, si Mario viene en taxi
entonces llegará antes de las 6 am. Por lo tanto, venga en bus o en taxi, llegará antes de
las 6 am.
b) Si el tren sufrió desperfectos en el camino entonces Josep llegará tarde a la universidad.
Pero, Josep llegará tarde a la universidad. Por lo tanto, si el metropolitano sufrió
desperfectos en el camino entonces Josep viajó en colectivo.

6.  
Dado el conjunto B  x  * / 0  x  4 , niega cada una de las proposiciones

cuantificadas siguientes y luego determina su valor de verdad.

i)  x  B , se cumple que:  x  2  1
2x  1
ii)  x  B , tal que: 4
2
7. Expresar por extensión los siguientes conjuntos:

a) A  x / x   n  1 ; n  Z ; 1  n  4
2

 3 n 
b) B   x / x  ; n  Z ;0  n  5
 n3 

c) C  x / x  n  3; n  N ; 3  n  3
2

d) D  x  Z /  2  x  11; x es impar
8. Colocar verdadero o falso, según corresponda, en las siguientes proposiciones.
 
a) A  x  Q /10 x 2  13x  3  0 es un conjunto unitario. ( )
b) B  x  N / 6  x  7 es un conjunto vacío. ( )
c) C  x / x es múltiplo de 3 es un conjunto infinito. ( )
d) M  1,2,3 y N  1,1,3, 2,3 son disjuntos ( )
e) E  1, 2,3, 4 es subconjunto de F  x  Z /1  x  4 ( )