Taller 1 : Lógica y Conjuntos

• Grupo N-3

• Kevin Cevallos
• Brandon Fueltala
• Simba Roberto
• Nono Eric
• Oña Jefferson

• ESCUELA POLITÉCNICA NACIONAL

• Departamento de Formación Básica
• Fundamentos de Matemática
Ejercicios propuestos

• 7, 14, 17, 19 y 20
Ejercicio lógica
7). 7. Represente simbólicamente en la Lógica de proposiciones la proposición.
{El producto de los números reales a y b es distinto de 0} si y solo si {a y b son diferentes de 0}
S
P
Expresado mediante las proposiciones:
i) el producto de los números reales a y b es distinto a 0 ; y
ii) a y b son diferentes a 0
con la ayuda de las palabras si y solo si , se la puede expresar con otra proposición en la que si
y solo si representa el axioma de la doble implicación.

𝒮 ⇔𝒫
Ejercicio lógica
14. Identifique los errores en la siguiente tabla de verdad
Ejercicio lógica
1-
1) 𝐵 es verdadero
2)¬𝐵 es falso de 1) axioma de negación

3 ) 𝐵 es falso de3) axioma negación

4) ¬𝐵 es verdadero

2-
1)𝐵 es verdadero
2) 𝒫 es falso
3) 𝐵∧ 𝒫 es falso de 1) y 2) axioma de conjunción

4)𝐵 es verdadero
5) 𝒫 es verdadero
6) 𝐵∧ 𝒫 es verdadero de 1) y 2) axioma de conjunción
3-
1)¬𝐵 s verdadero
2) 𝐵 es falso
3) 𝒫⇒¬𝐵 es verdadero de 1)y2) axioma de implicación

4) ¬𝐵 es falso
5)𝒫 es verdadero de 4)y5) axioma de implicación
6) 𝒫⇒¬𝐵 es falso

4-
(𝒫⇒¬𝐵)∧(𝐵∧ 𝒫)
1) 𝒫⇒¬𝐵 es verdadero
2) 𝐵∧ 𝒫 es verdadero

3) (𝒫⇒¬𝐵)∧(𝐵∧ 𝒫) es verdadero de 1)y2) axioma de conjunción

4)𝒫⇒¬𝐵 es falso
5)𝐵∧ 𝒫 es verdadero
6) (𝒫⇒¬𝐵)∧(𝐵∧ 𝒫) es falso de 5)y 4) axioma de conjunción
Ejercicio lógica
17. Sean A , B, C y D son proposiciones. Si el valor de verdad de la proposición
(B ⇔ C ) ∨ D

es falso y el valor de verdad de la proposición

¬A ⇒ (B ⇔ C )

es verdadero. Determine el valor de verdad de la proposición

(¬D ⇔ A ) ∧ ¬(B ⇔ C ).

Justifique su respuesta.
Ejercicio lógica
17). Sean A , B, C y D son proposiciones. Si el valor de verdad de la proposición (B ⇔ C ) ∨ D

(¬𝒟⇔𝒜)∧¬(𝐵⇔𝒞)
1)(𝐵⇔𝒞)∨𝒟 es falso
2)𝒟 es falso de 1) axioma de disyunción
3)𝐵⇔𝒞 es falso
Verdadero
4)¬(𝐵⇔𝒞) es verdad de 3) axioma de negación
Verdadero
5)¬𝒜⇒(𝐵⇔𝒞) es verdad
6)¬𝒜 es falso de 5) y 3) axioma de implicación
7)𝒜 es verdadero de 6) axioma de negación
8)¬𝒟 es verdadero de 2) axioma de negación
9)(¬𝒟⇔𝒜) es Verdadero
verdad de 7) y 8) axioma de doble implicación
10)(¬𝒟⇔𝒜)∧¬(𝐵⇔𝒞) es verdadero de 9) y 4) axioma de conjunción
Ejercicio lógica
19)Si el valor de verdad de la proposición (R ⇔
⇔T ) ∧
∧ ¬ S(S⇒
⇒(R
(R∨∨TT) ), es verdadero, determine
el valor de verdad de la proposiciones R, S y T ..

(R ∨ T ) es falso axioma de disyunción

S ⇒ (R ∨ T ) es falso axioma de implicación
¬ S ⇒ (R ∨ T ) es verdadero axioma de negación
(R ⇔ T ) es verdadero axioma de doble implicación
(R ⇔ T ) ∧ ¬ S ⇒ (R ∨ T ) es verdadero axioma de conjunción

R es falso
T es falso
S es verdadero
Ejercicio lógica
20) Si se indica que la proposición ((A
(A ⇒ B) ∧ ¬B)
¬B ⇒⇒¬A es falsa, ¿cual sería el inconveniente
con esta afirmación?. ¬A

(𝒜 ⇒ 𝐵) ∧ ¬𝐵 tiene que ser verdadera para cumplir con el axioma de implicación

¬𝐵 tiene que ser verdadera para cumplir con el axioma de conjunción

(𝒜 ⇒ 𝐵) tiene que ser verdadera para cumplir con el axioma de implicación

(𝒜 ⇒ 𝐵) no puede ser verdadera por la negación de 𝐵

Ejercicios propuestos
• 5, 7, 12, 14 y 16
Ejercicio conjuntos
5). Sean A, B, R, T, X y Y clases y A y C proposiciones. Escriba la negación de los siguientes
enunciados: (a) Para todo conjunto y , se tiene y ∈ A ∨ y ∈ B. (b) Para todo conjunto A, se
tiene A ∈ X ⇒ A /∈ Y . (c) Para todo conjunto R, existe un conjunto T tal que A ∨ C
a)
demostración : la negación de la proposición anterior es
existe un conjunto y tal que ¬( y ∈ A ∨ y ∈ B)
como ¬( y ∈ A ∨ y ∈ B) ≡A ∉ X ⇒ A ∉ Y , se concluye que
existe un conjunto Y , talque y ∉ A ∨ y ∉ B
b)
demostración : la negación de la proposición anterior es
existe un conjunto A , tal que ¬(A ∈ X ⇒ A ∉ Y )
como ¬(A ∈ X ⇒ A ∉ Y )≡ A ∉ X ⇒ A ∉ Y , se concluye que
existe un conjunto A, tal que A ∉ X ⇒ A ∈ Y
c)
demostración :la negación de la proposición anterior es
existe un conjunto R, para todo conjunto T tal que ¬(A ∨ C)
como ¬(A ∨ C) ≡ ¬A∨¬C
existe un conjunto R, para todo conjunto T , tal que ¬A∨¬C
Ejercicio conjuntos
7). Si S = {3k −1 : k ∈ N∧k 6 7} y T es el conjunto de todos los números naturales divisibles por
4 menores que 30, encuentre todos los elementos de K K-1

a) 0 -1
solución . en primer lugar 1 2
2 8
S (-1,2,8,11,14,17,20) 3 11
puesto que 4 14
5 17
6 20
T =( 0,4,8,12,16,20,24) ahora bien

a) el conjunto S ∪ T es el conjunto cuyos elementos pertenescan a S o T ; asi tenemos que

S ∪ T =(-1,0,2,4,8,11,12,14,16,17,20,24,28)

b) el conjunto S∩T es el conjunto cuyos elementos pertenecen tanto a S como a T ; despues

obtenemos que
S∩T=(8,20)

c) el conjunto S-T es el conjunto cuyo elementos pertenecen a S pero no a T por tanto

S-T=(-1,2,11,14,17)

d) el conjunto T-S es el conjunto cuyos elementos pertenecen a T pero no a S ; Luego ,

concluimos que
T-S= ( 0,4,12,16,24,28)
Ejercicio conjuntos
12. ¿Es correcto afirmar que la proposición (S ∈ T ⇒ S ∈ R) ⇔ (S ∉ T ∨ S ∈ R) es verdadera?
Justifique cada paso de esta demostración.

si se puede afirmar que es verdadero por la equivalencia lógica de una tautología conocida
como implicación - disyunción (𝒜 ⇒𝐵)⇔(¬𝒜 ∨𝐵); y ya que (S ∈ T ⇒ S ∈ R) ⇔ (S ∉ T ∨ S ∈ R)
tiene la misma forma , es verdadera sin importar los valores de verdad de las proposiciones
(S ∈ T ⇒ S ∈ R) ⇔ (S ∉ T ∨ S ∈ R)≡ (𝒜 ⇒𝐵)⇔(¬𝒜 ∨𝐵)
tabla de verdad 1)S ∈ T es verdadero
2) S ∈ R es verdadero
3) S ∈ T ⇒ S ∈ R es verdadero de 1) y 2) axioma
implicación

4) S ∉ T es falso de 1) axioma negación

5)S ∉ T ∨ S ∈ R es verdadero de 4) y 2) axioma de

disyunción
6 )(S ∈ T ⇒ S ∈ R) ⇔ (S ∉ T ∨ S ∈ R) es verdadero de 3) y 5) axioma de
doble implicación
1)S ∈ T es falso
2) S ∈ R es verdadero
3) S ∈ T ⇒ S ∈ R es verdadero de 1) y 2) axioma implicación
4) S ∉ T es verdadero de 1) axioma negacion
5)S ∉ T ∨ S ∈ R es verdadero de 4) y 2) axioma de disyunción
6 )(S ∈ T ⇒ S ∈ R) ⇔ (S ∉ T ∨ S ∈ R) es verdadero de 3) y 5) axioma de doble implicación

1)S ∈ T es verdadero
2) S ∈ R es falso
3) S ∈ T ⇒ S ∈ R es falso de 1) y 2) axioma implicación
4) S ∉ T es falso de 1) axioma negación
5)S ∉ T ∨ S ∈ R es falso de 4) y 2) axioma de disyunción
6 )(S ∈ T ⇒ S ∈ R) ⇔ (S ∉ T ∨ S ∈ R) es verdadero de 3) y 5) axioma de doble implicación

1)S ∈ T es falso
2) S ∈ R es falso
3) S ∈ T ⇒ S ∈ R es verdadero de 1) y 2) axioma implicación
4) S ∉ T es verdadero de 1) axioma negación
5)S ∉ T ∨ S ∈ R es verdadero de 4) y 2) axioma de disyunción
6 )(S ∈ T ⇒ S ∈ R) ⇔ (S ∉ T ∨ S ∈ R) es verdadeiro de 3) y 5) axioma de doble implicación
Ejercicio conjuntos
14.) Sea A × B = {(2, 2), (4, 2), (5, 2), (2, 4), (4, 4), (5, 4)}, determine:

14.1) A. 14.1) A AxB =(( z:z=(x,y)∧(x∈A∧y∈B))

14.2) B. A=(2,4,5)
14.3) B × A.
14.4) (A × B) ∩ (B × A). 14.2) B

B=(2,4)

14.3) BxA BxA=(z:z=(x.y)∧(x∈B∧y∈A))

BxA ( (2,2),(2,4),(2,5),(4,2),(4,4),(4,5))

14.4 (AxB) ∩ (BxA)

(AxB) ∩ (BxA)=( (2,2),(4,4))

Ejercicio conjuntos
16)Dado el conjunto C de los números enteros mayores que el inverso aditivo de seis y
menores
que doce y el conjunto A de los números naturales mayores al inverso aditivo de uno y
menores
que seis. Determinar:

16.1) Los conjuntos A y C expresados mediante el axioma de construcción de clases.

16.2) C ∩ A.
16.3) (C ∩ A) × {a, b}.
16.1) Los conjuntos A y C expresados mediante el axioma de construcción de clases.
16.2) C ∩ A.
16.3) (C ∩ A) × {a, b}.

C= ( -5,-4,-3,-2,-1,0,1,2,3,4,5,6,7,8,9,10,11,12)

A=(2,3,4,5)

16.1) A y BC expresadaspor
expresados mediante
axiomael
deaxioma de la construcción
construccion de bases de clases.

A=(X: x∈Z ∧1 <x <6)

c=(x: x∈ N ∧ -6<x <12)

16.2 C ∩ A
C = {-5,-4,-3,-2,-1,0,1,2,3,4,5,6,7,8,9,10,11}
A= {0.1.2.3.4.5}
C= (x: x∈N ∧ -6 < x <12)
A= (x: x∈Z ∧ -1 <x <6)
C∩A= (0,1,2,3,4,5)
Muchas gracias por su
atención