Ejercicio 1: Aplicación de la Teoría de Conjuntos

A. Con el fin de conocer las preferencias en los jóvenes respecto a qué marca
de vehículo comprarían como su primer auto, se evidenció que existen tres
marcas que sobresalen respecto a las demás, estas son Nissan, Ford y
Volkswagen. Al organizar los resultados de una encuesta, se obtuvo la
siguiente información: 80 jóvenes prefieren Ford, 85 jóvenes prefieren
Nissan, 90 prefieren Volkswagen, posterior a ello se pudo evidenciar que 55
prefieren a Ford y Nissan; 49 de manera conjunta prefieren Ford y
Volkswagen; 51 Volkswagen y Nissan; hay 35 jóvenes a quienes les gusta
las tres marcas de vehículos.

Conjunto de jóvenes que prefieren Nissan (N): 80

Conjunto de jóvenes que prefieren Ford (F): 85
Conjunto de jóvenes que prefieren Volkswagen (V): 90
Con lo anterior responda las preguntas
¿Cuántos jóvenes fueron encuestados?
14 + 20 + 11 + 16 + 35 + 14 + 25 = 135
Por lo tanto, 135 jóvenes.

¿Cuántos prefieren Ford o Nissan, pero no Volkswagen?

14 + 20 + 11 = 45
Por lo tanto, 45 jóvenes.

¿Cuántos prefieren únicamente Ford?

Según los diagramas de Venn, 11 jóvenes.

¿Cuántos jóvenes prefieren una sola marca de vehículos?

14 + 11 + 25 = 50
Por lo tanto, 50 jóvenes.

Ejercicio 2: Métodos para probar la validez de un argumento

A. Expresión simbólica:
[(𝑝 → 𝑠) ∧ (𝑞 → 𝑟) ∧ (𝑝 ∧ 𝑞)] → (𝑠 ∧ 𝑟)
Premisas:
P1: 𝑝 → 𝑠
P2: 𝑞 → 𝑟
P3: 𝑝 ∧ 𝑞
Conclusión: 𝑠 ∧ 𝑟

 Definir las proposiciones simples, tendrá la libertad de definirla bajo una

descripción basada en un contexto, el que se solicita es un contexto
académico.
p: John aprueba Pensamiento Lógico Matemático.
q: John aprueba Biología.
r: John aprueba Cátedra Unadista.
s: John aprueba Introducción a la Ingeniería.

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje

natural.

Si John aprueba Pensamiento Lógico Matemático entonces aprueba

Introducción a la Ingeniería. Si John aprueba Biología entonces aprueba
Cátedra Unadista. John aprueba Pensamiento Lógico Matemático y Biología.
Entonces, John aprueba Introducción a la Ingeniería y Cátedra Unadista.

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico.
  Generar una tabla de verdad manualmente a partir del lenguaje simbólico.
p q r s [ (p → s) ∧ (q → r) ∧ (p ∧ q)] → (s ∧ r)

V V V V V V V V V V V V V V V V V V V
V V V F V F F F V V V F V V V V F F V
V V F V V V V F V F F F V V V V V F F
V V F F V F F F V F F F V V V V F F F
V F V V V V V V F V V F V F F V V V V
V F V F V F F F F V V F V F F V F F V
V F F V V V V V F V F F V F F V V F F
V F F F V F F F F V F F V F F V F F F
F V V V F V V V V V V F F F V V V V V
F V V F F V F V V V V F F F V V F F V
F V F V F V V F V F F F F F V V V F F
F V F F F V F F V F F F F F V V F F F
F F V V F V V V F V V F F F F V V V V
F F V F F V F V F V V F F F F V F F V
F F F V F V V V F V F F F F F V V F F
F F F F F V F V F V F F F F F V F F F

 Demostración de la validez del argumento mediante las leyes de la inferencia

lógica.
1: p → s
2: q → r

3: p Λ q sΛr
__________________________________________________________________
4: p 3 Simp.
5: q 3 Simp.
6: s 1,4 MPP
7: r 2,5 MPP
8: s Λ r 6,7 Conj.