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

A continuación, encontrará una serie de situaciones en contextos reales, las cuales deberán ser
analizadas por el estudiante para el desarrollo del ejercicio 1.

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. Con lo anterior responda las preguntas

 ¿Cuántos jóvenes fueron encuestados?

 ¿Cuántos prefieren Ford o Nissan pero no Volkswagen?
 ¿Cuántos prefieren únicamente Ford?
 ¿Cuántos jóvenes prefieren una sola marca de vehículos?

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

Descripción del ejercicio:

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un argumento para el

desarrollo del ejercicio 2.:

A. Expresión simbólica:
[(𝑝 → 𝑠) ∧ (𝑞 → 𝑟) ∧ (𝑝 ∧ 𝑞)] ⟶ (𝑠 ∧ 𝑟)

Premisas:
P1: 𝑝 → 𝑠
P2: 𝑞 → 𝑟
P3: 𝑝 ∧ 𝑞

Conclusión: 𝑠 ∧ 𝑟

A partir de la expresión simbólica seleccionada, el estudiante deberá:

 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, ejemplo:
 p: Carlos estudia en la UNAD

q: La UNAD es una Universidad Pública

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

proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar
proposiciones iguales entre estudiantes se considerara como copia y se tomaran las medidas
correctivas estipuladas por la UNAD.
 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 (En Word, Excel o foto
del desarrollo manual).
 Demostración de la validez del argumento mediante las leyes de la inferencia lógica