1

EJERCICIOS DE DIVERSOS 1 PARCIALES:

LGICA Y CONJUNTOS
E-1
1.1 Dado el conjunto A= {a, {a}, b} Cul de las siguientes proposiciones es la
correcta:
a) {a, {a}} P(A)
c) {b} A
b) {{b}} A
d) A
1.2 Dada la siguiente proposicin compuesta ((p q) p) q
a) es una tautologa. b) es una contradiccin. c) es una contingencia
E-2
1. Dado S= Cul de los siguientes conjuntos no es un subconjunto de P (P(S))?
a)
d) {{}, }
e) Ninguno
b) {}
c) {{ }}
2 Sea A = {1, 2, 3, 4} y B = {4, 5, 6}, el cardinal del conjunto A (A B) es:
a) 6
b)12
c)16
d)24
E-3
1. Si q es verdadera dar los casos para los que la proposicin compuesta:
(q [( p r) s]) [s (r q)] es verdadera
2. Determinar el valor de verdad de las siguientes expresiones (justificar):
iii) (1,2) {1,2}
i)2 {1,2} {1,2}
iv) P ({1,2})
ii) {1,2}
E-4
1. Si q es verdadera dar los casos para los que la proposicin compuesta:
[ ( p q ) r] (s t ) es falsa
2. Determinar el valor de verdad de las siguientes expresiones (justificar):
iii) {1} {1,2}
i) {2} {1,2}
iv) {1,2} P ({1,2})
ii) {1,2}
E-5
a) Sean las siguientes funciones proposicionales: P( x) : x 2 y Q( x) : x( x 1) 0
Cules son los valores de verdad de las proposiciones dadas si el universo es el
conjunto de los enteros no negativos?
a-1) P(1) Q (2)
a-3) ( P (0) Q (1))
a-2) P (1) Q (2)
a-4) x N 0 : P( x)
b) Demostrar A B A B

EJERCICIOS DE DIVERSOS 1 PARCIALES:

LGICA Y CONJUNTOS

c. Usar la propiedad demostrada en el tem b) para demostrar por induccin

n

completa que:

Ai

i 1

Ai

nN

i 1

E-6
Indicar para cada uno de los casos siguientes, cul de las opciones es la correcta:
a. La proposicin (( ) ) ( ) es VERDADERA si:
a) P es V; q es V y r es V
c) d) p es V; q es F y r es F
b) c) p es F; q es F y r es V
d) d) p es V q es V y r es F
b) Demostrar (A B) x C = (A x C) (B x C)
c. Usar la propiedad demostrada en el tem b) para demostrar por induccin
completa que:

Ai X B = i=1 Ai x B , n N
i=1
n

E-7
1.Inserte el smbolo correcto ; , ; ; = o entre cada pareja de conjuntos
sabiendo que: V= {a, b}; B= {b, {a, b}, c} y el lenguaje L1 = {aab, baab,}
(a) V __ B
(c) L1 R ___ L1
(b) {b, c} ___ B
(d) | L1 2 | ___ 4
2.Demostrar la siguiente proposicin utilizando propiedades del lgebra de
conjuntos.
(A C) (C B) =
E-8
1.Inserte el smbolo correcto ; , ; ; = o entre cada pareja de conjuntos
sabiendo que: V= {a, b}; B= {b, {a, b}, c} y el lenguaje L1 = {aab, baab,}
(c) | L1 R | ___ L1
(a) __ B
(d) | L1 2 | ___4
(b) {a, c} ___ B
2.Demostrar la siguiente proposicin utilizando propiedades del lgebra de
conjuntos.
(A B) (A B) = U
E-9
1.Inserte el smbolo correcto ; , ; ; = o entre cada pareja de conjuntos
sabiendo que: V= {a, b}; B= {b, {a, b}, c} y el lenguaje L1 = {aab, baab,}
(c) {a}___ P(B)
(a) __ L1
(d) | | ___ 1
(b) b, c ___ B

EJERCICIOS DE DIVERSOS 1 PARCIALES:

LGICA Y CONJUNTOS
2.Demostrar la siguiente proposicin utilizando propiedades del lgebra de
conjuntos.
(A C) (C B) =
E-10
1. Para los lenguajes L1, L2 y L3 determinar el valor de verdad de las siguientes
proposiciones:
L1 = {, 10,1111}; L2 = {101, ,11}; L3 = {01,1} definidos con el alfabeto V=
{0,1}
(a) L1 +
(c) 11 L32
(b) {} L1 L2
(d) (L1 L2). L3= (L1. L3) (L2. L3)
2. Dar un contraejemplo para probar que la siguiente proposicin es falsa
A-B= A=B
E-11
Dar un contraejemplo para probar que la siguiente proposicin es falsa
AB=ACB=C
E-12
Se consideran los conjuntos A= {2, 3, 4}, B = {x / x2 4 es positivo},
C = {x / x26x +8=0} Y D = {x / x es par}. Establece todas las posibles
relaciones de inclusin entre dichos conjuntos.
E-13
1. Siendo el alfabeto V = {2, 5,1}, determinar el valor de verdad de las siguientes
expresiones. Justificar.
c) 152 V2
a) {2,1} b) V
d) {252, 122, 551} V*
P(V)
2. Demostrar la siguiente proposicin utilizando propiedades del lgebra de
conjuntos
(X Y) (Y-X) = Y siendo X, Y subconjuntos de un conjunto universal.
E-14
1. Para los lenguajes L1 = {, 100, 101} y L2 = {1011, 1,101} determinar el valor
de verdad de las siguientes proposiciones:
(c) L1* = L1+
(a) (L1 L2) R= L1R L2R
(d) {1011,1} L2
(b) 100 L1
2. Qu condiciones debe satisfacer p y q para que la siguiente proposicin sea:
[( p q) r] [ q r] Falsa