TALLER 1
I. Considere las proposiciones
𝑝: 𝐸𝑠𝑡á 𝑛𝑒𝑣𝑎𝑛𝑑𝑜 , 𝑞: 𝐼𝑟é 𝑎 𝑙𝑎 𝑐𝑖𝑢𝑑𝑎𝑑 𝑦 𝑟: 𝑇𝑒𝑛𝑔𝑜 𝑡𝑖𝑒𝑚𝑝𝑜
1. Escribir usando conectivos lógicos, una proposición que simbolice cada uno de los
enunciados.
a. Si no esta nevando y tengo tiempo, entonces iré a la ciudad.
b. Esta nevando, y no iré a la ciudad.
c. No está nevando.
2. Enunciar las proposiciones siguientes.
a. 𝑞 → (𝑟 ∧∼ 𝑝)
b. (𝑞 → 𝑟) ∧ (𝑟 → 𝑞)
c. ~(𝑟 ∨ 𝑞)
II. Establecer si los siguientes esquemas proposicionales son tautologías,
contingencias o contradicciones.
a. (𝑝 → 𝑞) ∧ (𝑞 → 𝑝)
b. [𝑝 ∧ (𝑞 ∨ 𝑟)] → [(𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)]
c. ∼ [(𝑟 → 𝑝) ∧ (∼ 𝑞 ∨ 𝑝)] ∧ [𝑝 ∧ (𝑝 → 𝑟)]
III. Demuestre que los siguientes esquemas proposicionales son equivalentes.
[𝑝 → (𝑞 → 𝑟)] 𝑦 [(𝑝 ∧ 𝑞) → 𝑟]
IV. Definir por extensión cada uno de los siguientes conjuntos.
a. 𝐴 = {𝑥 ∈ ℝ: 𝑥 − 2 = 5}
b. 𝐵 = {𝑥: 𝑥 𝑒𝑠 𝑢𝑛𝑎 𝑙𝑒𝑡𝑟𝑎 𝑑𝑒 𝑙𝑎 𝑝𝑎𝑙𝑎𝑏𝑟𝑎 𝑐𝑎𝑙𝑐𝑢𝑙𝑎𝑟}
c. 𝐶 = {𝑥 ∈ ℕ: 8 < 𝑥 < 9}
d. 𝐷 = {𝑥: 𝑥 𝑒𝑠 𝑢𝑛𝑎 𝑐𝑖𝑓𝑟𝑎 𝑑𝑒𝑙 𝑛ú𝑚𝑒𝑟𝑜 4573}
V. Definir por comprensión cada uno de los siguientes conjuntos.
a. 𝐴 = {1,2,3,4}
b. 𝐵 = {1,8,27, … }
c. 𝐶 = {… . , −4, −2,2,4, … }
d. 𝐷 = {𝑣𝑎𝑙𝑙𝑒𝑑𝑢𝑝𝑎𝑟}
VI. Dado el siguiente conjunto 𝐴 = {∅, 3,4,8, {8}, {5,7}, {1,3,8}}. Determine el valor de
verdad de las siguientes proposiciones justificando su respuesta.
a. ∅ ∈ 𝐴
b. {7,7,7,7} ⊆ 𝐴
c. {{5,7}, {8}} ∈ 𝐴
TALLER 1
d. |𝐴| = 10
e. A tiene 128 subconjuntos.
VII. Dados los conjuntos unitarios
𝐴 = {𝑥 ∈ ℕ: 3𝑥 + 1 = 7} , 𝐵 = {𝑥 ∈ ℕ: 𝑏 + 𝑐 = 3} 𝑦 𝐶 = {𝑥 ∈ ℕ: 𝑏𝑐 = 2}
Calcular 𝑎 − 2𝑏 + 3𝑐
VIII. En una encuesta a 100 personas acerca de sus preferencias de bebidas marca
𝐴, 𝐵 𝑦 𝐶. Se obtuvieron los siguientes resultados
▪ 24 beben C
▪ 9 solo beben B
▪ 7 beben solo C y B
▪ 43 no beben estas marcas
▪ 8 solo beben C y A
▪ 6 beben las tres marcas
▪ 13 beben A y B
Con la información entregada construya un diagrama de Venn y luego conteste las
siguientes preguntas:
a. ¿Cuántos beben solo A?
b. ¿Cuántos beben a lo menos dos de estas marcas?
c. ¿Cuántos beben B?
d. ¿Cuántos de los encuestados beben?
NOTA: Realizar el taller lo más detallado posible y muy bien presentado en grupos de cinco
estudiantes, un solo estudiante por grupo envía el desarrollo del trabajo por el enlace designado
en la plataforma Ferrum (El envío solo es por ese medio).
¡Éxitos!