A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio 1:

A. p: El 2020 fue un año atípico para todo el mundo

q: El COVID19 afecto gran parte de la economía

r: El COVID19 nos hizo reinventar en muchos campos de acción

(𝑝∨𝑟)∧(𝑝↔𝑞)

 Escriba la proposición compuesta propuesta en lenguaje natural.

(El 2020 fue un año atípico para todo el mundo ∨ El COVID19 nos hizo reinventar en muchos
campos de acción) ∧ (El 2020 fue un año atípico para todo el mundo↔ El COVID19 afecto gran
parte de la economía)

El 2020 fue un año atípico para todo el mundo o el COVID19 nos hizo reinventar en muchos
campos de acción, y el 2020 fue un año atípico para todo el mundo si y solo si el COVID19 afecto
gran parte de la economía.

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si
el resultado es una tautología, contingencia o contradicción.

(pV (p↔ (pVr)Ʌ(p

p q r r) q) ↔q)
V V V V V V
V V F V V V
V F V V F F
V F F V F F
F V V V F F
F V F F F F
F F V V V V
F F F F V F
Al tener valores verdaderos y falsos nos encontramos con una contingencia.

 Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso para uso
del simulador lo podrá encontrar en el anexo 2 (Simulador Lógica UNAD), ubicado en el
entorno de aprendizaje en la carpeta Guía de actividades y rúbrica de evaluación - Unidad
1- Tarea 1 - Métodos para probar la validez de argumentos.
Realizar un vídeo donde explique la forma como fue desarrollado el ejercicio 1
seleccionado. La realización del vídeo puede ser con la cámara del celular, cámara del pc u
otra alternativa que se le facilite. El estudiante debe aparecer en la grabación de frente y
mostrar a la cámara su documento de identificación, ocultando el número del mismo (En
la imagen se debe ver claramente el nombre y apellidos del estudiante).
Deberá subir el link del vídeo a youtube u otra plataforma de vídeos y pegar el enlace
debajo de la solución del ejercicio en el documento final a

GUION
Buenas tardes mi nombre es ….
El ejercicio se desarrolló teniendo en cuenta las tablas de verdad de cada una de las
proposiciones matemáticas. En nuestro caso se usaron la conjunción, la disyunción y la
bicondicional.

Para generar la tabla se usó la fórmula de 2 n donde n es el número de proposiciones para

obtener el número de filas de la tabla, en nuestro caso 3 y posteriormente se completó la
tabla con valores verdaderos y falsos.
Después de tener la tabla se procede a obtener los resultados. Primero la disyunción y la
bicondicional. Con los resultados de estas 2 operaciones se procede a obtener el valor
total de la ecuación con la conjunción.
A continuación, encuentra el lenguaje simbólico de expresiones que representan algunas leyes de
inferencia.

 Nombrar la ley de inferencia que representa cada expresión simbólica.

Modo ponendo ponens

Modo tollendo tollens

Silogismo hipotético

 Definir las proposiciones simples, tendrá la libertad de definirlas bajo una descripción
basada en un contexto, el que se solicita es un contexto académico (puede usar las
mismas proposiciones simples en cada una de las 3 expresiones simbólicas seleccionadas).

p: los andes es una universidad cara

q: estudiar en los andes es difícil

r: pocas personas tienen la posibilidad de estudiar en los andes

s: pocos profesionales salen de los andes

 Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje simbólico.

Si pocas personas tienen la posibilidad de estudiar en los andes entonces pocos profesionales
salen de los andes. Pocas personas tienen la posibilidad de estudiar en los andes, en conclusión,
pocos profesionales salen de los andes.

Si los andes es una universidad cara entonces estudiar en los andes es difícil. estudiar en los andes
no es difícil en conclusión los andes no es una universidad cara.

Si los andes es una universidad cara entonces estudiar en los andes es difícil. Si estudiar en los
andes es difícil entonces pocas personas tienen la posibilidad de estudiar en los andes en
conclusión si los andes es una universidad cara entonces pocas personas tienen la posibilidad de
estudiar en los andes.
A continuación, encontrará los argumentos para el desarrollo del ejercicio 3:

A. Si Rafael va al gimnasio entonces Rafael tiene un cuerpo tonificado. Rafael va al gimnasio.

a. Conclusión: ____________________________________

b. Ley de inferencia aplicada: ________________________

c. Lenguaje simbólico: ______________________________

 Identificar la conclusión del argumento.

Rafael tiene un cuerpo tonificado.
 Nombrar la ley de inferencia que se aplica para probar el argumento.
Modo ponendo ponens
 Definir la expresión del argumento en lenguaje simbólico o formal.
p