0% encontró este documento útil (0 votos)
156 vistas4 páginas

Lógica, Conjuntos y Relaciones en Álgebra

1) El documento presenta 19 problemas relacionados con lógica proposicional, conjuntos, relaciones y equivalencias. Los problemas incluyen tablas de verdad, demostraciones lógicas, operaciones con conjuntos y determinación de relaciones de equivalencia. 2) Muchos de los problemas involucran determinar el valor de verdad de proposiciones lógicas complejas, identificar propiedades de conjuntos dados sus elementos, y establecer si ciertas relaciones cumplen con las propiedades de una relación de equivalencia. 3) Los problemas abarcan
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
0% encontró este documento útil (0 votos)
156 vistas4 páginas

Lógica, Conjuntos y Relaciones en Álgebra

1) El documento presenta 19 problemas relacionados con lógica proposicional, conjuntos, relaciones y equivalencias. Los problemas incluyen tablas de verdad, demostraciones lógicas, operaciones con conjuntos y determinación de relaciones de equivalencia. 2) Muchos de los problemas involucran determinar el valor de verdad de proposiciones lógicas complejas, identificar propiedades de conjuntos dados sus elementos, y establecer si ciertas relaciones cumplen con las propiedades de una relación de equivalencia. 3) Los problemas abarcan
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

1

Universidad del Desarrollo


Facultad de Ingenierı́a
Dr. Sebastián Sarmiento

Guı́a 2
Álgebra
Primer Semestre 2018

Elementos de Lógica, Conjuntos y Relaciones entre Conjuntos

1. Considere las siguientes proposiciones simples

p: Antonia es chilena
q: Bruno es menor de edad
r: Carlos tiene un siberiano

Escriba las siguientes proposiciones compuestas

a) p ∨ q ∨ r
b) p ∧ q ∧ r
c) p∧ ∼ q ∨ r
d ) ∼ p∧ ∼ q ∧ r
e) p ⇒ q
f ) q ⇔∼ r

2. Escribiendo las tablas de verdad, verifique las siguientes tautologı́as

a) (∼ (∼ p)) ⇔ p
b) (p ∨ q) ⇔ (q ∨ q)
c) (p ∧ (q ∧ r)) ⇔ ((p ∧ q) ∧ r)
d ) (∼ (p ∨ q)) ⇔ (∼ p∧ ∼ q)
e) ∼ (p ⇒ q) ⇔ (p∧ ∼ q)
f ) p ∧ (p ⇒ q) ⇒ q
g) (p ⇒ q) ⇔ (∼ q ⇒∼ p)
h) (p ⇒ q) ∧ (q ⇒ r) ⇒ (p ⇒ r)

3. Se definen los conectivos lógicos ∇ y Θ como

p∇q :=∼ p ∧ q,

pΘq := p∨ ∼ q.

Simplifique la proposición (∼ q∇p)Θ ∼ (qΘ ∼ p).


2

4. Se sabe que la proposición (∼ p ∨ q) ⇒ r es falsa. Determine el valor de verdad de la


proposición (p ∧ r) ⇒ (p ⇔∼ (q ∨ r)).

5. Sean p, q, r proposiciones tales ((∼ p ∨ q) ⇒ r). Entregar el valor de verdad de las


siguientes proposiciones

a) ∼ q ⇒∼ p
b) r ⇒ (p ⇔∼ (q ∨ r))

6. Determine la validez de los siguientes argumentos, esto es, usando lógica proposicional,
determine si la conclusión es correcta o no.

a) O bien hoy es Lunes o bien es Martes.


Pero hoy no es Lunes.
Luego hoy es Martes.
b) Si estudio, entonces no reprobaré Mecánica.
Si no juego muy seguido a los naipes, entonces estudiaré.
Reprobé Mecánica.
Por lo tanto, jugué muy seguido a los naipes.

7. Verifique las siguientes propiedades

a) Usando el método de demostración directa, muestre que si x ∈ Z es impar, entonces


x2 es impar

b) Usando el método de contradicción, muestre que 3 es irracional
c) Usando el método del contrarecı́proco, muestre que todos los primos mayores que
2 son impares.

8. Sea U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} el conjunto universo y considere los subconjuntos A =


{1, 4, 7, 10}, B = {1, 2, 3, 4, 5} y C = {2, 4, 6, 8}. Escriba por extensión los siguientes
conjuntos

a) A ∪ B
b) A ∩ B ∩ C
c) (A ∪ B)0 ∩ C
d ) (A ∩ B ∩ C)0
e) (A − B) ∪ (C − A)
f ) (B − A)0 ∪ (A − B)0

9. Sean A, B y C subconjuntos de un mismo conjunto universo U . Pruebe que

(A∆B) ∪ (B∆C) ∪ (C∆A) = (A ∪ B ∪ C) − (A ∩ B ∩ C).

10. Considere los conjuntos A = {x ∈ R : x2 −1 < 0}, B = {x ∈ R : x2 −3x+2 > 0}. Escriba
estos conjuntos mediante intervalos y calcule sus uniones, intersecciones, complementos
y verifique las leyes de DeMorgan.
3

11. Considere los conjuntos A, B y C. Escriba la unión A ∪ B ∪ C como uniones más


pequeñas, intersecciones y diferencias simétricas

12. A una prueba de ingreso a la Universidad se presentaron 100 alumnos, de los cuales 65
aprobaron el examen de Matemática, 25 el de Matemática y Fı́sica y 15 aprobaron sólo
el de Fı́sica. ¿Cuántos no aprobaron ninguno de los exámenes mencionados?

13. Se le preguntó a un grupo de 10 estudiantes sobre sus preferencias por dos marcas
de refrescos Pepsi y Coca Cola. Se obtienen los siguientes resultados: el número de
estudiantes que prefirieron Pepsi pero no Coca Cola fue de 3 y el número de estudiantes
que no prefirieron Pepsi fueron 6.

a) ¿Cuántos de los encuestados prefirieron Pepsi?


b) ¿Cuántos de los encuestados prefirieron Coca Cola?
c) ¿Cuántos de los encuestados prefirieron Pepsi o Coca Cola?

14. De un total de 60 alumnos de primer año de la carrera de Ingenierı́a Civil Industrial


de la UDD, 15 estudian solamente francés, 11 estudian francés e inglés, 12 estudian
sólo alemán, 8 estudian francés y alemán, 10 estudian sólo inglés, 5 estudian inglés y
alemán, y 3 los tres idiomas.

a) ¿Cuántos no estudian ningún idioma?


b) ¿Cuántos estudian alemán?
c) ¿Cuántos estudian sólo alemán e inglés?
d ) ¿Cuántos estudian francés?

15. Se sabe que card(A) = 33, card(Ac ∩ B c ) = 6, card(Ac ) = 16, card((Ac ∪ B)c ) =
18. Utilizando propiedades y un diagrama de Venn, determine la cardinalidad de los
conjuntos U , B, B − A y A ∆ B.

16. Considere, en el conjunto de los números enteros Z, la relación R dada por

Si x, y ∈ Z, xRy ⇔ x − y es un múltiplo de 3.

a) Muestre que R es una relación de equivalencia.


b) Determine [2], la clase de equivalencia de 2 bajo R.

17. Considere el conjunto X = {a, b, c} y la relación R = {(b, b), (b, c), (c, b), (c, c)}.

a) Muestre que R es simétrica y transitiva, pero no refleja


b) Usando la parte (a), intente descubrir cuál es el error en el siguiente argumento

Si R es una relación simétrica y transitiva, entonces R es refleja.


4

18. Considere, en el conjunto de los pares ordenados R2 , la relación S dada por

Si (x, y); (z, w) ∈ R2 : (x, y)S(z, w) ⇔ xw = yz.

Muestre que S no es una relación de equivalencia en R2 . ¿ Puede determinar un sub-


conjunto de R2 donde S sı́ sea una relación de equivalencia?

19. Considere, en el conjunto de los números reales R, la relación S dada por

Si x, y ∈ R, xSy ⇔ x − y ≥ 0.

Muestre que S es una relación de orden.

También podría gustarte