Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Lista de Problemas
“Argumentos - Conjuntos”
16 de agosto de 2019
Problema 1 PC1 Matemáticas I
Determine si el siguiente argumento es válido.
p ∨ q ↔ ¬ r, ¬ p → s, ¬ t → q, s ∧ t → u ` r → u
p ∨ q ↔ ¬r , ¬p → s , ¬t → q , s∧t→u ` r →u
V V V V F
De Q : r ≡ V , u ≡ F
De P1 : p ≡ F , q ≡ F
De P2 : s ≡ V
De P3 : t ≡ V
1
Problema 2 PC1 Matemáticas I
Determine si el siguiente argumento es válido.
p≡q≡r≡s≡t≡F
tales que las premisas son verdaderas pero la conclusión es falsa. Por lo tanto el argumento es inválido.
2
Problema 3 PC1 Matemáticas I
En un salón de mate I, el profesor le pregunta a Isabel si estudió para la PC. Isabel dice lo siguiente:
“Ayer estudié para la PC o fui a clase,... mmm ...ahora que recuerdo ayer no fui a clase”
p ∨ q , ¬q , q ∨ ¬p
Si todas ellas fuesen verdad llegarı́amos a un absurdo. Por lo tanto Isabel no dijo la verdad siempre, es decir mintió al menos
una vez en dicha conversación.
3
Problema 4 PC1 Matemáticas I
Determine si el siguiente argumento es válido.
A Mateo le gusta leer novelas policiales o ver televisión o escuchar música. Además, si a Mateo le gusta leer novelas policiales
y no le gusta ver televisión, entonces le gusta escuchar música. Pero a Mateo le gusta ver television y escuchar música, o no
le gusta ninguna de las dos cosas. Finalmente, si a Mateo le gusta ver television entonces le gusta leer novelas policiales. Por
tanto a Mateo le gusta leer novelas policiales, ver television y escuchar música.
Sugerencia: s ↔ t ≡ (s ∧ t) ∨ ¬(s ∨ t)
el cual es equivalente a
p ∨ q ∨ r, ¬p ∨ q ∨ r, q ↔ r, q → p ` p ∧ q ∧ r
p ∨ q ∨ r , ¬p ∨ q ∨ r , q ↔ r , q→p ` p∧q∧r
V V V V F
De P3 : q ≡ r
De P1 y P2 : p ∨ r ≡ V , ¬p ∨ r ≡ V , deducimos que r ≡ V
De P4 : p ≡ V
4
Problema 5 PC1 Matemáticas I
Considere el siguiente argumento:
“En la premiación del Balón de Oro realizada en el Kongresshaus de Zúrich. Todo futbolista en la premiación que cumple con
las reglas dadas por la FIFA gana el Balón de Oro. Todo futbolista que no cumple con las reglas dadas por la FIFA no es
preferido por Joseph Blatter. Se sabe que algunos futbolistas en la premiación son preferidos por Joseph Blatter. Por lo tanto
algunos futbolistas ganan el Balón de Oro.”
(a) Traduzca el argumento al lenguaje de lógica formal estableciendo primero un diccionario y usando cuantificadores.
∀x ∈ C, [p(x) → q(x)], ∀x ∈ C, [¬p(x) → ¬r(x)], ∃x ∈ C, [r(x)] ` ∀x ∈ C, [p(x) → q(x)], ∀x ∈ C, [¬p(x) → ¬r(x)], a ∈ C, r(a)
` a ∈ C, q(a)
` ∃x ∈ C, [q(x)]
5
Problema 6 PC1 Matemáticas I
Alberto, Beatriz y Carlos son sospechosos de robar fondos de su compañı́a. Al ser interrogados por la policı́a ellos testifican
de la siguiente manera.
Carlos: “Yo soy inocente, pero uno de los otros dos es culpable”.
(b) Asumiendo que todos dijeron la verdad, ¿Quiénes son inocentes y quiénes culpables?
6
Problema 7 PC1 Matemáticas I
Se define el operador por la tabla adjunta:
p q pq
V V F
V F F
F V V
F F F
(p q) p ≡ V
pq ≡ F
p≡V , q≡F
tales que las premisas son verdaderas pero la conclusión es falsa. Por lo tanto el argumento es inválido.
7
Problema 8 PC1 Matemáticas I
Sean p, q y r proposiciones simples. Definimos la proposición
Encuentre una proposición compuesta equivalente a X(p, q, r) pero expresada en términos de p, q, r y conectores lógicos
conocidos.
.
p q r X(p, q, r)
1 V V V F
2 V V F F
3 V F V F
4 V F F V
5 F V V F
6 F V F V
7 F F V V
8 F F F F
p∧q q∧r
p∧q∧r
p r
p∧r
8
Problema 9 PC1 Matemáticas I
En el conjunto P = {p : p es una proposición} se define la función f : P → R tal que
1, si p es verdadero
f (p) =
0, si p es falso
(a) f (¬ p) = 1 − f (p)
(d) f (p → q) = 1 − f (p) · f (¬ q)
. (a) Verdadera
Si p ≡ V entonces f (¬ p) = 0 = 1 − f (p)
Si p ≡ F entonces f (¬ p) = 1 = 1 − f (p)
(b) Verdadera
(c) Falsa
Contraejemplo: p ≡ q ≡ V
(d) Verdadera
9
Problema 10 PC1 Matemáticas I
(a) Sean A, B subconjuntos de un universo U . Demuestre la siguiente propiedad:
(A − B) ∩ C = (A ∩ C) − (B ∩ C)
(b) Sean A y B dos subconjuntos del conjunto universal U . Definimos la diferencia simétrica A∆B de los conjuntos A y B
como
A∆B = (A − B) ∪ (B − A)
A∆B = (A ∪ B) − (A ∩ B).
. (a) ∀x ∈ U ,
x ∈ (A ∩ C) − (B ∩ C) ↔ x ∈ (A ∩ C) ∧ ¬ (x ∈ B ∩ C) diferencia
↔ x ∈ A ∧ x ∈ C ∧ ¬ (x ∈ B ∧ x ∈ C) intersección
↔ x ∈ A ∧ x ∈ C ∧ ¬ (x ∈ B) ∨ ¬ (x ∈ C) ¬ (p ∧ q) ≡ ¬ p ∨ ¬ q
↔ x ∈ A ∧ (x ∈ C ∧ ¬ (x ∈ B)) ∨ (x ∈ C ∧ ¬ (x ∈ C)) transitiva
↔ x ∈ A ∧ (x ∈ C ∧ ¬ (x ∈ B)) ∨ F p ∧ ¬p ≡ F
↔ x ∈ A ∧ x ∈ C ∧ ¬ (x ∈ B) p∨F ≡p
↔ x ∈ A ∧ ¬ (x ∈ B) ∧ x ∈ C conmutativa y asociativa
↔ x ∈ (A − B) ∩ C diferencia
(b) ∀x ∈ U ,
x ∈ A∆B ↔ x ∈ (A − B) ∪ (B − A) definición
↔ (x ∈ A ∧ ¬ x ∈ B) ∨ (x ∈ B ∧ ¬ x ∈ A) unión
h i h i
↔ (x ∈ A ∧ ¬ x ∈ B) ∨ x ∈ B ∧ (x ∈ A ∧ ¬ x ∈ B) ∨ ¬ x ∈ A distributiva
h i h i
↔ x ∈ A ∨ x ∈ B ∧ ¬x ∈ B ∨ ¬x ∈ A distributiva
h i h i
↔ x∈A∪B ∧¬ x∈B∧x∈A ley de Morgan
h i h i
↔ x∈A∪B ∧¬ x∈A∩B intersección
↔ x ∈ (A ∪ B) − (A ∩ B) diferencia
Por lo tanto
A∆B = (A ∪ B) − (A ∩ B).
La proposición es verdadera.
10
Problema 11 PC1 Matemáticas I
Sean A, B subconjuntos de un universo U . Demuestre lo siguiente:
(a) (A − B) ⊂ (A − C) ∪ (C − B)
(b) A ∩ (A ∪ B) = A
(c) A ⊂ B ↔ A ∪ B = B
(d) A ⊂ B ↔ A = A ∩ B
. (a)
h i
(A − B) ⊂ (A − C) ∪ (C − B) ≡ ∀x ∈ U, x ∈ (A − B) → x ∈ (A − C) ∪ (C − B)
h i h i
≡ ∀x ∈ U, x ∈ (A − B) → x ∈ (A − C) ∨ x ∈ (C − B)
h i h i
≡ ∀x ∈ U, (x ∈ A) ∧ ¬(x ∈ B ) → (x ∈ A) ∧ ¬(x ∈ C ) ∨ (x ∈ C) ∧ ¬(x ∈ B)
p q r
≡ p ∧ ¬q → (p ∧ ¬r) ∨ (r ∧ ¬q) es una tautologı́a
p, ¬q ` (p ∧ ¬r) ∨ (r ∧ ¬q)
es válido (Teorema).
(b) Aplicar el método anterior, esto es, reducir el problema a un problema de tautologı́a.
≡ p → q ≡ (p ∨ q) ↔ q
tautologı́a
x ∈ A → x ∈ B ↔ x ∈ A ↔ (x ∈ B ∧ x ∈ A) p → q ≡ p ↔ (p ∧ q)
A⊂B A=A∩B
11
Problema 12 PC1 Matemáticas I
(a) Sean A, B, C subconjuntos de un universo U . Justifique la falsedad siguientes proposiciones:
(1) A − (B ∩ C) = (A − B) ∩ (A − C)
(2) A − (B − C) = (A − B) − C
(b) Considere que todos los conjuntos considerados en este ejercicio están contenidos en un universo U . Demuestre la siguiente
proposición:
A ⊂ B si y solamente si A − B = ∅
. (a)
(b)
A⊂B ≡A−B =∅
A ⊂ B ≡ ∀x ∈ U, x ∈ A → x ∈ B (definición)
≡ ∀x ∈ U, ¬(x ∈ A) ∨ (x ∈ B) (p → q ≡ ¬p ∨ q)
≡ ∀x ∈ U, ¬(x ∈ A ∧ x ∈
/ B) (Morgan)
≡ ∀x ∈ U, ¬(x ∈ A − B) (diferencia)
≡A−B =∅ (Teorema)
Teorema. A = ∅ ≡ ∀x ∈ U, ¬(x ∈ A)
12
Problema 13 PC1 Matemáticas I
Sean R y S relaciones definidas en A × B, demuestre que:
. (a) ∀x ∈ A,
x ∈ dom(R ∪ S) ↔ ∃y ∈ B, [(x, y) ∈ R ∪ S]
↔ ∃y ∈ B, [(x, y) ∈ R ∨ (x, y) ∈ S]
↔ ∃y ∈ B, [(x, y) ∈ R] ∨ ∃y ∈ B, [(x, y) ∈ S]
↔ x ∈ dom(R) ∨ x ∈ dom(S)
↔ x ∈ dom(R) ∪ dom(S)
(b) ∀x ∈ A,
→ ∃y ∈ B, [(x, y) ∈ R ∧ (x, y) ∈
/ S]
→ ∃y ∈ B, [(x, y) ∈ R − S]
→ x ∈ dom(R − S)
(c) ∀x ∈ A,
→ x ∈ dom(R) ∧ x ∈ dom(S)
→ x ∈ dom(R) ∩ dom(S)
13
Problema 14 PC1 Matemáticas I
Sean R y S relaciones definidas en A × B. Justifique la falsedad de la siguientes proposiciones.
. (a) Contraejemplo: R = {(1, 1), (1, 2), (2, 1)}, S = {(1, 1), (2, 1)} (verificar)
(b) Contraejemplo: R = {(1, 1), (1, 2), (2, 1)}, S = {(1, 1), (1, 2)} (verificar)
14
Problema 15 PC1 Matemáticas I
Decimos que un conjunto R es una relación de equivalencia en A cuando R ⊂ A×A y se cumplen las siguientes proposiciones:
Determine si el conjunto
R = (x, y) ∈ Z × Z : |x − y| ≤ 4
. (a) Verdadera.
(b) Verdadera.
(c) Falsa.
15
Problema 16 PC1 Matemáticas I
Dada una relación R ⊂ A × B definimos la relación inversa R−1 ⊂ B × A como
(R ∩ S)−1 = R−1 ∩ S −1
. ∀(y, x) ∈ B × A
↔ (x, y) ∈ R ∧ (x, y) ∈ S
↔ (y, x) ∈ R−1 ∩ S −1
16
Problema 17 PC1 Matemáticas I
Dadas las relaciones R ⊂ A × B, S ⊂ B × C, definimos la relación composición R ◦ S en A × C como
R ◦ (S ∪ T ) = (R ◦ S) ∪ (R ◦ T )
. ∀(a, c) ∈ A × C
↔ (a, c) ∈ R ◦ S ∨ (a, c) ∈ R ◦ T
↔ (a, c) ∈ (R ◦ S) ∪ (R ◦ T )
17
Problema 17 PC1 Matemáticas I
Sean r y s ∈ N. Si
f = (s2 + r, r + 2s), (r − 1, 2), (r + s, r2 ), (r − 1, s + 1), (5, r2 − r − 2)
. (r − 1, 2), (r − 1, s + 1) ∈ f → 2 = s + 1 → s = 1
domf = {3, 1, 5}
ranf = {4, 2, 0}
18
Problema 17 PC1 Matemáticas I
Mario está estudiando algoritmos en el lenguaje de programación Java y necesita una fórmula lógica para determinar si un
año dado es bisiesto. ¿Cuál es la fórmula lógica que necesita Mario?
. Decimos que un año es bisiesto si es divisible por 4, excepto el último de cada siglo, salvo que este último sea divisible por
400.
Establecemos nuestro diccionario:
p : es divisible entre 4
p ∧ (¬ q ∨ r)
19