CIRCUITOS LÓGICOS

Ejemplo 1

EJERCICIOS PROPUESTOS

1. Determinar el circuito equivalente al circuito

2. La disyunción exclusiva (𝑝∆𝑞) a cuales de los siguientes circuitos es equivalente

3. Construir el circuito lógico equivalente a la proposición [(𝑝 → 𝑞) ∨ 𝑝] ∧ [(𝑝 → 𝑞) ∨ ~𝑝] (suge: simplifique
primero)

4. Que representa el circuito equivalente a:

5. Construir el circuito lógico más simple equivalente a:

a)

b)

6. Hallar la proposición “x” de manera que el circuito lógico simplificado represente una tautología

7. Demostrar que son equivalentes los circuitos A, B y C

TEORÍA DE CONJUNTOS
NOCIÓN DE CONJUNTO

En matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la
palabra CONJUNTO debe aceptarse lógicamente como un término no definido.

Un conjunto se puede entender como una colección o agrupación bien definida de objetos de cualquier clase. Los
objetos que forman un conjunto son llamados miembros o elementos del conjunto

NOTACIÓN: Todo conjunto se escribe entre llaves { } y se le denota mediante letras mayúsculas A, B, C,..., sus
elementos se separan mediante una coma.

Ejemplo: El conjunto de las letras del alfabeto: a, b, c,..., x, y, z. se puede escribir así: L = {a, b, c,..., x, y, z}

En teoría de conjuntos no se acostumbra repetir los elementos, por ejemplo: el conjunto {x, x, y, y, z} simplemente
será {x, y, z}.

RELACIÓN DE PERTENENCIA

Para indicar que un elemento pertenece a un conjunto se usa el símbolo “” y si un elemento no pertenece a un
conjunto se usa el símbolo “”.

Ejemplo: Sea M = {2, 4, 6, 8, 10}

2M...se lee 2 pertenece al conjunto M

5M...se lee 5 no pertenece al conjunto M

DETERMINACIÓN DE CONJUNTOS

Hay dos formas de determinar un conjunto, por Extensión y por Comprensión

I) POR EXTENSIÓN: Es aquella forma mediante la cual se indica cada uno de los elementos del conjunto.

Ejemplos

1. El conjunto de números negativos impares mayores que -10.

B = {-9, -7, -5, -3, -1}

II) POR COMPRENSIÓN: Es aquella forma mediante la cual se da una propiedad que caracteriza a todos los elementos
del conjunto.

Ejemplos

Expresar por extensión y por comprensión el conjunto de días de la semana.

Por Extensión:

D = {lunes; martes; miércoles; jueves; viernes; sábado; domingo}

Por Comprensión:

D = {x / x = día de la semana}

DIAGRAMAS DE VENN
Los diagramas de Venn que se deben al filósofo inglés John Venn (1834-1883) sirven para representar conjuntos de
manera gráfica mediante dibujos o diagramas que pueden ser circunferencias, elipses, rectángulos, triángulos o
cualquier curva cerrada.

DIAGRAMAS DE LEWIS CARROLL

Se representan generalmente por cuadros de doble entrada, con la particularidad que se utiliza principalmente para
los conjuntos disjuntos, es decir para aquellos que no tienen elementos en común.

VARONES MUJERES
USAN LENTES
NO USAN
LENTES

CONJUNTOS ESPECIALES

CONJUNTO VACÍO: Es un conjunto que no tiene elementos, también se le llama conjunto nulo. Generalmente se le
representa por los símbolos “∅” ó { }.

Ejemplo: M = {números naturales entre 9 y 10}= ∅

CONJUNTO UNITARIO: Es el conjunto que tiene un solo elemento.

Ejemplo: 𝐹 = { 𝑥 ∈ 𝑁| 2𝑥 − 6 = 0 } = {3}

CONJUNTO UNIVERSAL: Es un conjunto referencial que contiene a todos los elementos de una situación particular,
generalmente se le representa por la letra U

Ejemplo: El universo o conjunto universal de todos los números es el conjunto de los NÚMEROS COMPLEJOS.

CONJUNTO FINITO: Es el conjunto con limitado número de elementos.

Ejemplo

E = { x / x es un número natural impar menor que 10 }

CONJUNTO INFINITO: Es el conjunto con ilimitado número de elementos.

CONJUNTOS NUMÉRICOS

Números Naturales ( N ): N = {1, 2, 3, 4, 5,...}

Números Enteros ( Z ) : Z = {..., -2, -1, 0, 1, 2,...}

𝑎
Números Racionales ( Q ): Q = {...; -2, -1, -1/2, 0, 1/5, 1/2, 1, 4/3, 2,...}= { | 𝑎 ∈ 𝑍 ∧ 𝑏 ∈ 𝑍, 𝑏 ≠ 0}
𝑏

Números Irracionales ( I ) : I = {..., 2, 3, e, , ...} = {𝑥 | 𝑥 𝑛𝑜 𝑒𝑠 𝑟𝑎𝑐𝑖𝑜𝑛𝑎𝑙}

Números Reales ( R ) : R = {..., -2, -1, 0, 1, 2, 3; 2, 3, ....}= 𝑄 ∪ 𝐼

Números Complejos ( C ) C = {..., -2, 0, 1, 2, 3, 2+3i, 3,...}= {𝑎 + 𝑖𝑏 | 𝑎, 𝑏 ∈ 𝑅; 𝑖 = √−1}

 C IR

N Q
Z I

CONJUNTOS DISJUNTOS: Dos conjuntos son disjuntos cuando no tienen elementos comunes.

RELACION DE INCLUSION

SUBCONJUNTO: Se dice que un conjunto A es subconjunto de un conjunto B, o bien que A está incluido en B si y sólo
si cada elemento que pertenece a A pertenece también a B.

A está incluido en B y se anota A  B.

Expresado de otra forma: 𝑨𝑩 ≡ {𝑥/ 𝑥𝐴 → 𝑥𝐵}

La negación ~[𝑨  𝑩] ≡ { 𝑥 / 𝑥  𝐴 ∧ 𝑥 𝐵 }

Si A no es subconjunto de B se escribe A  B.

Nota: Se dice que A es SUBCONJUNTO PROPIO de B si y sólo si A es subconjunto de B pero B es distinto de A, lo que
a veces se denota por A  B, sin la barrita inferior que representa la igualdad de conjuntos.

AByAB

Y un subconjunto como AB

Propiedades

1. AA
2. Si A  B ∧ B  A entonces A = B
3. Si A  B ∧ B  C entonces A  C
4. ∅  𝐴; ∀ 𝐴

CONJUNTOS IGUALES: Dos conjunto A y B son iguales ( A = B) si se verifica que

A ⊆ B  B ⊆ A.

Este proceso se llama prueba por doble inclusión.

OPERACIONES CON CONJUNTOS

UNIÓN DE CONJUNTOS: El conjunto “A unión B” que se representa: AUB, es el conjunto formado por todos los
elementos que pertenecen al conjunto A, al conjunto B, o a ambos conjuntos.

SIMBÓLICAMENTE: A  B = { x / x  A  x  B }

REPRESENTACIONES GRÁFICAS DE LA UNIÓN DE CONJUNTOS

A
A
A B U U
B B
U

INTERSECCIÓN DE CONJUNTOS

SIMBÓLICAMENTE: A  B = { x / x  A  x B}

REPRESENTACIONES GRÁFICAS DE LA INTERSECCIÓN DE CONJUNTOS

AB AB = B AB= 

B U
A U
B B
A
A
U

Si A y B son no comparables Si A y B son comparables Si A y B son disjuntos

DIFERENCIA DE CONJUNTOS: El conjunto “A menos B” que se representa A - B es el conjunto formado por todos
los elementos que pertenecen al conjunto A y no pertenecen al conjunto B.

SIMBÓLICAMENTE: A - B = { x / x  A  x  B }

PREGUNTA: ¿ A - B = B – A ? No se cumple la igualdad porque:

RESPUESTA: El conjunto “B menos A” que se representa por B – A, es el conjunto formado por todos los elementos
que pertenecen al conjunto B y no pertenecen al conjunto A.

B - A = {x / x  B  x  A}

Ejemplo: A = {1, 2, 3, 4, 5, 6, 7} y B = {5, 6, 7, 8, 9}

B - A = {8, 9}
REPRESENTACIONES GRÁFICAS DE LA INTERSECCIÓN DE CONJUNTOS

A-B A-B=∅ A-B = A

B B
A
A
A
B

Si A y B son no comparables Si A y B son comparables Si A y B son disjuntos

DIFERENCIA SIMÉTRICA: El conjunto “A diferencia simétrica B” que se representa A  B es el conjunto formado por
todos los elementos que pertenecen a (A-B) o (B-A).

SIMBÓLICAMENTE: A  B = { x / x  (A –B)  x  (B-A) }

También es correcto afirmar que:

A  B = (A-B) U (B-A) = (AUB) - (AB)

B
A

COMPLEMENTO DE UN CONJUNTO: Dado un conjunto universal U y un conjunto A, se llama complemento de A y se

representa por A’ o Ac, al conjunto formado por todos los elementos del universo que no pertenecen al conjunto A.

SIMBÓLICAMENTE: A’ = Ac = {x / x  U  x  A } = U – A

U
A’

NÚMERO DE ELEMENTOS DE UN CONJUNTO

CARDINAL DEL CONJUNTO: Al número de elementos que tiene un conjunto A se le llama CARDINAL DEL CONJUNTO
y se le representa por n(A) o car(A).

Ejemplo:

A= {a, b, c, d, e} su cardinal es n(A) = 5

B= {x, x, x, y, y, z} su cardinal es n(B) = 3

PROPIEDADES
 1. Si A y B son disjuntos entonces 𝑛(𝐴 ∪ 𝐵) = 𝑛(𝐴) + 𝑛(𝐵)
2. Si A y B son dos conjuntos cualesquiera entonces 𝑛(𝐴 − 𝐵) = 𝑛(𝐴) − 𝑛(𝐴 ∩ 𝐵)
3. Si A y B son dos conjuntos tales que 𝐴 ∩ 𝐵 ≠ ∅ entonces 𝑛(𝐴 ∪ 𝐵) = 𝑛(𝐴) + 𝑛(𝐵) − 𝑛(𝐴 ∩ 𝐵)
4. Si A, B y C son dos conjuntos tales que 𝐴 ∩ 𝐵 ∩ 𝐶 ≠ ∅ entonces
𝑛(𝐴 ∪ 𝐵 ∪ 𝐶) = 𝑛(𝐴) + 𝑛(𝐵) + 𝑛(𝐶) − 𝑛(𝐴 ∩ 𝐵) − 𝑛(𝐴 ∩ 𝐶) − 𝑛(𝐵 ∩ 𝐶) + 𝑛(𝐴 ∩ 𝐵 ∩ 𝐶)

Leyes del álgebra de conjuntos

Leyes Idempotentes
Dado cualquier conjunto A en un universal arbitrario U, se verifica:
1. A ∪ A = A
2. A ∩ A = A

Leyes Conmutativas

Dados dos conjuntos A y B de un universal arbitrario U, se verifica:

1. A ∪ B = B ∪ A
2. A ∩ B = B ∩ A

Leyes Asociativas

Dados tres conjuntos A, B y C de un universal arbitrario U, se verifica:

1. A ∪ (B ∪ C) = (A ∪ B) ∪ C

2. A ∩ (B ∩ C) = (A ∩ B) ∩ C

Leyes Distributivas

Dados tres conjuntos A, B y C de un conjunto universal arbitrario U, se verifica:

1. A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)

2. A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)

Leyes del Complemento

Dado un conjunto cualquiera A de un universal arbitrario U, se verifica:

1. A ∪ A c = U

2. U c = ∅

3. A ∩ A c = ∅

4. ∅ c = U

5. A  Bc = A - B

Leyes de De Morgan

Dados dos conjuntos A y B en un universal U, se verifica:

1. (A ∪ B) c = A c ∩ B c

2. (A ∩ B) c = A c ∪ B c
Leyes de Identidad

Dado un conjunto cualquiera de un universal arbitrario U, se verifica:

1. A ∪ ∅ = A

2. A ∪ U = U

3. A ∩ ∅ = ∅

4. A ∩ U = A

Ley Involutiva

Dado un conjunto cualquiera A de un universal U, se verifica:

(A c) c = A

Otras relaciones entre Conjuntos

A–A=

A  ( B ∪ C ) = ( A  B) ∩ ( A  C)

A  ( B ∩ C ) = ( A  B) ∪ ( A  C)

EJERCICIOS Y PROBLEMAS DE APLICACIÓN

1. Expresar por extensión los siguientes conjuntos:

a. P = {xN / x2-9 = 0}
b. Q = {xZ / x2-9 = 0}
c. F = {xR / x2-9 = 0}
d. T = {xQ / (3x-4)(x-2) = 0}
e. B = {xI / (3x-4)(x-2) = 0}

2. Si los conjuntos 3x  y  9;4 x y 5x  2 y;4 son unitarios probar que 6 x  y ; 2 y  8x  3
también es unitario.
3. Señalar de qué tipo de conjunto se trata en cada caso
a. B = {x/x es un mes del año}
b. C = {1,2,3,4,5,6,7,…}
c. D = {x/x es presidente del Perú}
d. E = {x∈ N/(x+9)(4x+1)=0}
4. Si:
A  x  N / 3  x  4

B  x / x  n2 , n  N, n  5 
C   x  N / x es divisor de 30 
Hallar la suma de los elementos del conjunto:  A  B  B  C 
5. Sea el universo U   5,4,3,2,1,0,1,2,3,4,5,
 A  x  U / x  Q
B  x  A / x  N 
C  x  B / x  3
D  x  C / x  5
Hallar por extensión
A  B  C  D  B  C   A
6. Hacer un diagrama de Venn con tres conjuntos no vacíos A, B y C de modo que A, B y C tengan las siguientes
características
a. A ⊂ B, C ⊂ B, A ∩ C = ∅
b. A ⊂ C, A ≠ C, B ∩ C = ∅
c. A ⊂ B, C ⊄ B, A ∩ C ≠ ∅
d. A ⊂ (B ∩ C), B ⊂ C, C ≠ B, A ≠ C
7. En una población: 50% toma leche, el 40% come carne, además solo los que comen carne o solo los que
toman leche son el 54%, ¿Cuál es el porcentaje de los que no toman leche ni comen carne?
8. De 140 personas 60 no leen y 50 no escriben, sabiendo que 30 solo leen, ¿Cuántas personas leen y escriben?
9. En un salón se encuestan 52 estudiantes, de los cuales 30 son hombres, 12 mujeres no usan lentes. Si 30
personas usan lentes, entonces el número de hombres que usan lentes es?
10. En cierta clase hay 15 veteranos de los cuales 10 son hombres, 15 hombres no son veteranos; además hay
30 mujeres. ¿Cuántos estudiantes hay en clase?
11. Supongamos que son 100 los cachimbos de una Escuela Profesional de la UNSA, de los cuáles, 40 son
mujeres, 73 estudian historia y 12 son mujeres que no estudian historia. ¿Cuántos hombres no estudian
historia?
12. Si A  2 x / x  Z ,3  x  9 , B  3x / x  Z ,5  x  10 calcular n( A  B)  n( A  B)
13. Dado el conjunto U y los subconjuntos A, B y C, se tiene los siguientes datos;
n( U ) = 44, n( A ) = 21, n( B ) = 17, 𝑛(𝐴 ∩ 𝐶) = 14; 𝑛(𝐵 ∩ 𝐶) = 12; 𝑛(𝐴 ∩ 𝐵 ∩ 𝐶 𝑐 ) = 3; 𝑛(𝐴 ∩ 𝐵 ∩ 𝐶) =
5; 𝑛(𝐴 ∪ 𝐵 ∪ 𝐶)𝑐 = 6
Hallar n(C)
14. Determine la proposición equivalente a la negación de:
a) 𝑥 ∈ [𝐶 ∪ (𝐵 − 𝐴)]
b) 𝑥 ∈ [(𝐵 − 𝐴) − 𝐶 𝑐 ]
15. Demuestre
1. 𝐴𝑐 − 𝐵𝑐 = 𝐵 − 𝐴
2. (𝐴 − 𝐵) − 𝐶 = 𝐴 − (𝐵 ∪ 𝐶)
3. (𝐴 − 𝐵) ∩ 𝐵 = ∅
4. 𝐴 − (𝐵 ∩ 𝐴) = 𝐴 − 𝐵
5. 𝐴 ∩ (𝐴𝑐 ∪ 𝐵) = 𝐴 ∩ 𝐵
16. Una encuesta sobre 500 personas revelo los siguientes datos acerca del consumo de dos productos A y B
410 consumían por lo menos uno de los productos
294 personas consumían A
78 personas consumían a pero no B
a. ¿Qué porcentaje de personas consumía B?
b. ¿Qué porcentaje de personas consumía solo B?
c. ¿Qué porcentaje de personas consumía los dos productos?
d. ¿Qué porcentaje de personas no consumía ninguno de los dos productos?
17. En un aula de 50 alumnos, aprueban matemáticas 30, física 30, castellano 35, matemática y física 18, física
y castellano 19, matemáticas y castellano 20 y 10 alumnos aprueban los tres cursos. ¿Cuántos no aprueban
ninguno de los tres cursos?
18. En una encuesta sobre 200 personas revelo los siguientes datos acerca del consumo de dos productos
A, B y C
30 consumían A
85 consumían B
103 consumían C
10 personas consumían A y C pero no B
13 personas consumían A y C
18 personas consumían B y C
5 personas consumían A y B pero no C
e. ¿Cuántas personas no consumían ninguno de los tres productos?
f. ¿Cuántas personas consumían los tres productos?
g. ¿Cuantas personas no consumía A?
h. ¿Cuántas personas consumían A pero no B ni C?
i. ¿Cuantas personas consumían por lo menos uno de los tres productos?

19. Una encuesta sobre 500 niños internados en un hogar revelo los siguientes datos: 308 eran menores de diez
años; 5 eran huérfanos de padre y madre; 22 eran huérfanos de padre; 176 no eran menores de diez años,
ni eran huérfanos de padre y madre, 3 eran menores de diez años, huérfanos de padre y madre; 9 eran
menores de diez años, huérfanos solo de padre; 13 eran huérfanos solo de madre. ¿Cuántos niños era
huérfanos de madre? y ¿Cuantos niños menores de 10 años eran huérfanos solo de madre? [sugerencia
:use un diagrama de Carroll]

20. De un grupo de 40 personas se sabe que:

- 15 no estudian ni trabajan
- 10 no estudian
- 3 estudian y trabajan
¿Cuántos realizan solo una de las dos actividades?
21. Si 𝑈 = {𝑥 ∈ ℤ ∶ 𝑥 ≥ −5 ∧ 𝑥 < 6)} ; 𝐴 = {𝑥 ∈ 𝑈 ∶ 𝑥 > −3 → 𝑥 = 3}; 𝐵 = {𝑥 ∈ 𝑈: ~(𝑥 ≠ 3 ∧ 𝑥 ≠ 0)};
C= {𝑥 ∊ 𝑈| 𝑥 ∈ 𝐵 → 𝑥 ∈ 𝐴}; determine el conjunto 𝐹 = (𝐴∆𝐵) ∪ (𝐵𝑐 ∩ 𝐶)
22. Usando diagramas de Venn sombrear:
a. A  (B U C) A B
b. ( A  B ) U ( A  C )
c. A U (B  C)
d. ( A U B )  ( A U C )

C
CUANTIFICADORES

Enunciados Abiertos: Son aquellos enunciados a los que no se puede atribuirse el valor de verdadero (V) ó falso (F),
por ejemplo : x + y + z > 20; salvo que x, y, z, pueden ser reemplazados por números que permitan que dichos
enunciados se conviertan en proposiciones y por tanto tener valor de verdad V o F.

Función proposicional: Es todo enunciado abierto de la forma p(x), que tiene la propiedad de convertirse en una
proposición al ser sustituida la variable x por una constante k específica.

Ejemplo

La expresión p(x): x +2=5 no es una proposición lógica en el sentido que no se le puede asignar un valor de
verdadero o falso, a menos de que se le dé un valor particular a la variable x:
- Si x = 3 , p(1) = 3+2=5 es verdadero
- Si x = 3 , p(1) = 2+2=5 es falso

CUANTIFICADOR EXISTENCIAL: Cuantificar existencialmente significa afirmar que todo sujeto x, cumple con la función
proposicional. A este símbolo "∃" se le llama cuantificador existencial.

Dado el conjunto 𝐴 = {1,2,3, … } = N , y las funciones proposicionales:

p(x): x es un número natural par

q(x): x es un número negativo

Se tiene que la siguiente proposición: “Existe (por lo menos) un elemento 𝑥 ∈ 𝐴 tal que p(x) es cierto”

Que es simbolizada por: “∃ 𝑥 ∈ 𝐴 / 𝑝(𝑥)” ≡ “∃ 𝑥 ∈ 𝐴 ∶ 𝑃(𝑥)” la cual resulta verdadera pues tal 𝑥 ∈ 𝐴 puede
ser x = 4

Explícitamente, la proposición anterior se interpreta como: “EXISTE (por lo menos) un elemento del conjunto A, tal
que dicho elemento es un numero natural par”.

En cambio para la condición q(x) dada, la proposición

“Existe (por lo menos) un elemento 𝑥 ∈ 𝐴 tal que q(x) es cierta” ≡ “∃ 𝑥 ∈ 𝐴 / 𝑞(𝑥)” resulta falsa pues ningún
elemento x de A cumple con la condición q(x) de ser un número negativo.

CUANTIFICADOR UNIVERSAL: Cuantificar universalmente significa afirmar que todo sujeto x, cumple con la función
proposicional. A este símbolo "∀" se le llama cuantificador universal.

Ahora dado otro conjunto 𝐵 = {3,6,9,12,15,18, … } , y la Función proposicional

r(x): x es múltiplo de 3

La proposición definida por: “PARA TODO 𝑥 ∈ 𝐵, se cumple la condición R(x)” que es simbolizada por:”∀ 𝑥 ∈ 𝐵,
𝑟(𝑥)” ≡”∀ 𝑥 ∈ 𝐵: 𝑟(𝑥)” resulta verdadera, pues se puede verificar que todo elemento del conjunto B es múltiplo
de 3.

NEGACIONES DE PROPOSICIONES CON CUANTIFICADORES

La negación de los cuantificadores existencial y universal se simboliza por:

~(∃ x ∈ A / p(x)) ≡ ∀x ∈ A, ~p(x)

~( ∀ x ∈ A , p(x)) ≡ ∃ x ∈A / ~p(x)

NOTAS:
 1. Los cuantificadores pueden combinarse por ejemplo: ∀𝑥; ∃𝑦: 𝑥 + 𝑦 = 𝑥
2. El símbolo ∃! es leído como “Existe un único….”

Ejemplos:
1. Determinar el valor de verdad de los siguientes enunciados
Sea 𝐴 = {1, 2, 3, 4, 5, 6, 7, 8, 9}
a) ∃ 𝑥 ∈ 𝐴 | 𝑥 + 7 = 7 ≡ (F) Falso, porque ningún elemento de A soluciona 𝑥 + 7 = 7
b) ∃ 𝑥 ∈ 𝐴 | 𝑥 + 7 > 16 ≡ (V) Verdadero, ya que x = 9
c) ∀ 𝑥 ∈ 𝐴 | 𝑥 + 7 > 16 ≡ (F) Falso, ya que no se cumple para todos los elementos del conjunto dado.
d) ∀ 𝑥 ∈ 𝐴 | 𝑥 + 7 ≤ 16 ≡ (V) Verdadero, ya que se cumple para todos los elementos del conjunto dado.
2. Dado 𝑀 = {1,2,3} determinar el valor de verdad de cada una de las proposiciones siguientes justificando
debidamente su respuesta, luego indique sus negaciones. (3 puntos)
2
a) ∀ 𝑥 ∈ 𝑀, ∀ 𝑦 ∈ 𝑀, 𝑥 + 3𝑦 < 12
b) ∀ 𝑥 ∈ 𝑀, ∃ 𝑦 ∈ 𝑀, 𝑥 2 + 3𝑦 < 12
c) ∃𝑥 ∈ 𝑀 / ∃ 𝑦 ∈ 𝑀, 𝑥 2 + 3𝑦 < 12
Solución
a) Es falsa, pues para 𝑥 = 2 ∈ 𝑀 ; 𝑦 = 3 ∈ 𝑀 no se cumple que 𝑥 2 + 3𝑦 < 12
b) Es falsa, pues para 𝑥 = 3 ∈ 𝑀 noexiste ningún 𝑦 ∈ 𝑀 que haga cumplir 𝑥 2 + 3𝑦 < 12
c) Es verdadera, pues para 𝑥 = 2 ∈ 𝑀 ; 𝑦 = 1 ∈ 𝑀 hace cumplir 𝑥 2 + 3𝑦 < 12
Las negaciones correspondientes son:

~[ ∀ 𝑥 ∈ 𝑀, ∀ 𝑦 ∈ 𝑀, 𝑥 2 + 3𝑦 < 12] ≡ ∃𝑥 ∈ 𝑀 | ∃ 𝑦 ∈ 𝑀: 𝑥 2 + 3𝑦 ≥ 12

~[∀ 𝑥 ∈ 𝑀, ∃ 𝑦 ∈ 𝑀, 𝑥 2 + 3𝑦 < 12] ≡ ∃𝑥 ∈ 𝑀 | ∀ 𝑦 ∈ 𝑀: 𝑥 2 + 3𝑦 ≥ 12

~[∃𝑥 ∈ 𝑀 / ∃ 𝑦 ∈ 𝑀, 𝑥 2 + 3𝑦 < 12] ≡ ∀𝑥 ∈ 𝑀 | ∀ 𝑦 ∈ 𝑀: 𝑥 2 + 3𝑦 ≥ 12

3 Negar la siguiente proposición: ∀ 𝑥, ∃ 𝑦 | [𝑝(𝑥, 𝑦) → 𝑞(𝑥, 𝑦)]

Solución

~[∀ 𝑥, ∃ 𝑦 | [𝑝(𝑥, 𝑦) → 𝑞(𝑥, 𝑦)]] ≡ ∃ 𝑥, ∀ 𝑦 | ~ [~𝑝(𝑥, 𝑦) ∨ 𝑞(𝑥, 𝑦)]

≡ ∃ 𝑥, ∀ 𝑦 | [𝑝(𝑥, 𝑦) ∧ ~𝑞(𝑥, 𝑦)]

Ejercicios Propuestos

1. Si A =  0, 1, 2, 3, 4, 5 ¿Cuáles de las siguientes proposiciones son verdaderas?

 x  A / x2 = x

 x  A / y  A, xy  0
 x  A , y  A / x + 2 = y
 x  A / y  A, x + y es par

2. Indicar si son V o F las siguientes proposiciones:

a) Todo número natural es un entero positivo.
b) Existen números enteros que son naturales.
c) Todo número entero es racional
 d) Existen números irracionales que son naturales

3. Hallar la negación de la siguiente proposición

∀ 𝑎 ∈ 𝑅 , ∀ 𝑏 ∈ 𝑅: 𝑎𝑏 = 0 ↔ (𝑎 = 0 ∨ 𝑏 = 0)
4. Negar las siguientes proposiciones para el conjunto Z de números enteros y luego determine el valor de verdad
de cada una de ellas:
 ∀𝑥 ∈𝑍 , 𝑥+1 >𝑥
 ∃ 𝑥 ∈ 𝑍 | 𝑥2 = 𝑥
 ∃ 𝑥 ∈ 𝑍 | 𝑥2 + 1 = 0
 ∀ 𝑥 ∈ 𝑍 , 𝑥2 − 1 > 0

5. Negar las siguientes proposiciones

i. ∀ 𝑥 ∈ 𝐴, ∃ 𝑦 ∈ 𝐴 | [𝑝(𝑥, 𝑦) → 𝑞(𝑦)]
ii. ∃ 𝑥 ∈ 𝑀 | ∃ 𝑦 ∈ 𝐵 | 𝑝(𝑥) ∧ 𝑞(𝑥)
iii. ∃ 𝑥 ∈ 𝐶 , ∀ 𝑥 ∈ 𝐴 | ~𝑝(𝑥) ∧ 𝑞(𝑥)

6. Dado 𝑀 = {1,2,3,4,5} determinar el valor de verdad de cada una de las proposiciones siguientes justificando
debidamente su respuesta, luego indique sus negaciones

 ∀ 𝑥 ∈ 𝑀, ∀ 𝑦 ∈ 𝑀, 𝑥 + 𝑦 ≤ 7
 ∃ 𝑥 ∈ 𝑀, 𝑥 + 3 ≤ 10
 ∀ 𝑥 ∈ 𝑀, 𝑥 + 3 > 6

7. Si 𝐴 = {1,2,3,4,5} y 𝐵 = {−2, −1,0,5,6} establecer el valor de verdad de cada una de las proposiciones
siguientes justificando debidamente su respuesta

 ∀ 𝑥 ∈ 𝐴, ∃ 𝑦 ∈ 𝐵: 𝑥 + 𝑦 < 3
 ∃! 𝑦 ∈ 𝐵, ∀𝑥 ∈ 𝐴: − 𝑦 > 1
 ∀ 𝑥 ∈ 𝐵, ∀ 𝑦 ∈ 𝐴: 𝑥 < 𝑦 → 𝑥 2 < 𝑦 2
8. Hallar los valores de verdad de la negaciones de las proposiciones siguientes
i. [∀ 𝑥 ∈ 𝑁 | 𝑥 + 2 = 5] ∧ [∀ 𝑥 ∈ 𝑁 , 𝑥 2 > 𝑥]
ii. ∃ 𝑥 ∈ 𝑅 | √−𝑥 ∈ 𝑅
iii. [∀ 𝑎 ∈ 𝑍 , −𝑎 < 0] ∨ [∃𝑥 ∈ 𝑍 | − 𝑥 = 𝑥]

EJERCICIO 10.