ANEXO 4 - Ejercicios Tarea 2

Apreciado Estudiante

A continuación, se presentan los ejercicios asignados para el desarrollo

de Tarea 2 – Métodos para probar la validez de argumentos.
Debe seleccionar un grupo de ejercicios A, B, C, D, o, E y enunciarlo
en el Foro de discusión - Unidad 2 - Tarea 2 – Métodos para
probar la validez de argumentos, ningún miembro del grupo podrá
escoger la misma asignación.

Usted debe diligenciar la siguiente tabla en el foro (copie y pegue desde

aquí), si ya sus compañeros hicieron elecciones con anterioridad, debe
registrarlos en cada letra.

Tabla 1 Distribución ejercicios Tarea 1

1. Nombre del estudiante 2. Grupo de ejercicios a

desarrollar
El estudiante desarrolla el
ejercicio A en todos los grupos de
ejercicios.
El estudiante desarrolla el
ejercicio B en todos los grupos de
ejercicios.
El estudiante desarrolla el
ejercicio C en todos los grupos de
ejercicios.
El estudiante desarrolla el
ejercicio D en todos los grupos de
ejercicios.
El estudiante desarrolla el
ejercicio E en todos los grupos de
ejercicios.

Ejercicio 1: Proposiciones y tablas de verdad

Para el desarrollo de este ejercicio, es necesario que revise en el

Entorno de Aprendizaje (Unidad 2 - Fundamentos de Lógica -
Contenidos y referentes bibliográficos) las siguientes referencias:

• Curo, A. (2015). Matemática básica para administradores.

Universidad Peruana de Ciencias Aplicadas (UPC). (pp. 13-27).

• Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras

algebraicas y fundamentos de álgebra lineal. Volumen I:
conjuntos numéricos, complementos. Editorial Tébar Flores. (pp.
19-28).

• Vargas, E., Núñez, L. A. (2019). Lógica matemática y teoría de

conjuntos. Universidad Abierta para Adultos (UAPA). (pp. 19-
36).

Una vez realizadas las lecturas, desarrolle el ejercicio propuesto

seleccionado.

Descripción del ejercicio:

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

A. p: Los pactos ilegales de grupos armados tienen consecuencia en

la economía del país.
q: La corrupción limita los recursos destinados a la salud.
r: La corrupción ralentiza el ritmo acelerado del desarrollo de la
sociedad
𝑝 → (~q ꓥ r)

B. p: Colombia es uno de los países en donde más se vulneran los

derechos básicos.
r: En Colombia el conflicto armado ha estado presente por las
últimas 5 décadas.
 s: El conflicto en Colombia ha afectado a todos los sectores de la
sociedad.
𝑝 → ( r ꓥ s)

C. p: La desigualdad se vive a gran escala debido a las diferencias entre

las regiones del país.
q: La desigualdad social se produce cuando una persona recibe un
trato diferente.
r: La desigualdad conlleva a consecuencias graves tanto en el
ámbito personal como social.
p ↔ ( ~ q ꓦ r)

D. p: La educación superior es para muchos un sueño difícil de cumplir.

q: Los estudiantes que desisten en tener una educación completa

generan menos oportunidades.

r: El acceso a la educación superior disminuye el ciclo de pobreza.

(~𝑝 → 𝑞) Ʌ r

E. p: Los problemas sociales se generan cuando las garantías mínimas

para el sustento básico se terminan.

q: Los problemas sociales se entienden como el resultado de

dinámicas políticas con efectos negativos sobre la economía.

r: Los problemas sociales son la consecuencia de la construcción

histórica de una sociedad con desigualdad económica.

𝑝 → (q ↔ r)

A partir del argumento que haya seleccionado deberá dar

respuesta a los siguientes ítems:

➢ Escribir la proposición compuesta propuesta en un lenguaje

natural.
 ➢ 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.
➢ Generar la tabla de verdad a través del simulador Lógica UNAD.
El paso a paso para el uso del simulador lo podrá encontrar en
el Anexo 6 - Simulador Lógica UNAD, ubicado en el entorno
de aprendizaje en la carpeta Guía de actividades y rúbrica de
evaluación - Unidad 2- Tarea 2 - Métodos para probar la validez
de argumentos.
➢ Realizar un vídeo de 5 minutos máximo:

1. El estudiante hace su presentación personal básica en inglés

(Nombre, edad, ciudad donde vive y programa en donde que
está matriculado) y explica de forma detallada cómo realizó el
ejercicio 1 de su letra escogida (en español).

2. El estudiante debe aparecer en la grabación de frente y sin ningún

filtro. Luego explica en pantalla compartida cómo realizó el
ejercicio.

3. Para la realización del vídeo puede usar la cámara de un celular,

la cámara de una computadora u otra alternativa que se le
facilite. Deberá subir el vídeo a una plataforma de videos (por
ejemplo: YouTube, Loom, etc).

4. Por último, debe copiar el enlace del video en el documento de la

actividad 1. Debe compartir el vídeo de forma pública (sin
ninguna restricción) o debe hacer el vídeo de forma privada
con los permisos de visión al tutor encargado.
Ejercicio 2: Aplicación de las reglas de la inferencia lógica

Para el desarrollo de este ejercicio, es necesario que revise en el

Entorno de Aprendizaje (Unidad 2 - Fundamentos de Lógica -
Contenidos y referentes bibliográficos) las siguientes referencias:

• Pérez, A. R. (2013). Una introducción a las matemáticas

discretas y teoría de grafos. El Cid Editor. (pp. 40-49).

• Vargas, E., Núñez, L. A. (2019). Lógica matemática y teoría de

conjuntos. Universidad Abierta para Adultos (UAPA). (pp. 19-
36).

Una vez realizadas las lecturas, desarrolle la actividad propuesta.

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del
ejercicio 2:

A. Si Natalia no consume alcohol durante el embarazo entonces no

tendrá consecuencias en el desarrollo del feto. Natalia no
consume alcohol durante el embarazo.

a. Lenguaje simbólico:
___________________________________________________
___________________________________________________

b. Ley de inferencia aplicada:

___________________________________________________
___________________________________________________

c. Conclusión:
___________________________________________________
___________________________________________________
B. Si se presentan dificultades para acceder a los alimentos en el
mercado entonces la vida de las personas depende en su
totalidad de la agricultura. La vida de las personas NO depende
en su totalidad de la agricultura.

a. Lenguaje simbólico:
___________________________________________________
___________________________________________________

b. Ley de inferencia aplicada:

___________________________________________________
___________________________________________________

c. Conclusión:
___________________________________________________
___________________________________________________

C. La juventud se conecta a través de wifi en el hogar o maneja un

plan de datos con internet. La juventud no maneja un plan de
datos con internet.
a. Lenguaje simbólico:
___________________________________________________
___________________________________________________

b. Ley de inferencia aplicada:

___________________________________________________
___________________________________________________

c. Conclusión:
___________________________________________________
___________________________________________________

D. Se analizan las causas de pobreza en Colombia o se ponen en

evidencia los indicadores críticos de miseria. Si se analizan las
causas de pobreza en Colombia entonces se identifican las
actividades socioeconómicas más necesarias, Si se ponen en
 evidencia los indicadores críticos de miseria entonces se mejora la
distribución del ingreso para los más vulnerables.

a. Lenguaje simbólico:
___________________________________________________
___________________________________________________

b. Ley de inferencia aplicada:

___________________________________________________
___________________________________________________

c. Conclusión:
___________________________________________________
___________________________________________________

E. La diversidad étnica es la unión de diferentes pueblos en una

misma sociedad o cada uno posee sus propias costumbres. Si la
diversidad étnica es la unión de diferentes pueblos en una misma
sociedad entonces cada pueblo tiene sus propias necesidades. Si
cada uno posee sus propias costumbres entonces cada pueblo
tiene sus propias necesidades.

a. Lenguaje simbólico:
___________________________________________________
___________________________________________________

b. Ley de inferencia aplicada:

___________________________________________________
___________________________________________________

c. Conclusión:
___________________________________________________
___________________________________________________

A partir del argumento que haya seleccionado deberá dar respuesta

a los siguientes ítems:
 ➢ Definir la expresión del argumento en lenguaje simbólico
o formal.

➢ Nombrar la ley de inferencia que se aplica para probar

el argumento.
➢ Identificar la conclusión del argumento.

Ejercicio 3: Demostración de un argumento usando las reglas

de la inferencia lógica

Para el desarrollo de este ejercicio, es necesario que revise en el

Entorno de Aprendizaje (Unidad 2 - Fundamentos de Lógica -
Contenidos y referentes bibliográficos) las siguientes referencias:

• Pérez, A. R. (2013). Una introducción a las matemáticas

discretas y teoría de grafos. El Cid Editor. (pp. 40-49).

• Vargas, E., Núñez, L. A. (2019). Lógica matemática y teoría de

conjuntos. Universidad Abierta para Adultos (UAPA). (pp. 19-
36).

Una vez realizadas las lecturas propuestas en el entorno, desarrolle el

ejercicio propuesto

Descripción del ejercicio:

A continuación, encontrará un argumento para el desarrollo del

ejercicio 3, usted deberá identificar e indicar las leyes de inferencia y
las premisas utilizadas en cada uno de los pasos para la demostración
del argumento.
 A. Expresión simbólica

[( p → ~s) ᴧ (r →q) ᴧ (q →r) ᴧ (p ᴧ r)] →(~s ᴧ q)

P1: p → ~s Conclusión: ~s ᴧ q
P2: (r →q)
P3: (q → r)
P4: (p ᴧ r)

Demostración:
Premisa Ley de inferencia aplicada Premisas usadas
P5: p
P6: ~s
P7: r
P8: q
P9: (~s ᴧ q)

B. Expresión simbólica

[(~p v ~ s) ᴧ (~q → p) ᴧ (q → ~r) ᴧ r]→ ~s

P1: ~p v ~ s Conclusión: ~s
P2: ~q → p
P3: q → ~r
P4: r

Demostración:
Premisa Ley de inferencia aplicada Premisas usadas
P5: ~q
P6: p
P7: ~s

C. Expresión simbólica

[(~p ꓦ ~q) ᴧ (~q→r) ᴧ (~s ᴧ ~r)]→ (~p ᴧ ~s)

P1: ~p ꓦ ~q Conclusión: ~p ᴧ ~s
P2: ~q→r
P3: ~s ᴧ ~r
Demostración:
Premisa Ley de inferencia aplicada Premisas usadas
P4: ~r
P5: ~(~q)
P6: q
P7: ~p
P8: ~s
P9:~p ᴧ ~s

D. Expresión simbólica ejercicio 3

[(p → ~q) ᴧ (~q → ~r) ᴧ p]→ ~ r

P1: p → ~q Conclusión: ~ r
P2: ~q → ~r
P3: p

Demostración:
Premisa Ley de inferencia aplicada Premisas
usadas
P4: p→ ~r
P5: ~ r

E. Expresión simbólica ejercicio 3

[(p→q) ᴧ(r→s) ᴧ (p ᴧ ~s)]→[(qᴧ~r) ᴧ p]

P1: p→q Conclusión: [(q ᴧ ~r) ᴧ p]

P2: r→s
P3: p ᴧ ~s

Demostración:
Premisa Ley de inferencia aplicada Premisas usadas
P4: p
P5: ~s
P6: ~r
P7: q
P8: q ᴧ ~r
P9: (qᴧ~r) ᴧ p
A partir del argumento en lenguaje simbólico deberá dar respuesta a
los siguientes ítems:

➢ Realizar la tabla de la verdad mediante el simulador de lógica

UNAD Anexo 6 - (Simulador Lógica UNAD),
➢ Completar la tabla, estableciendo cada la ley de inferencia y las
premisas utilizadas para avanzar en la demostración.

Ejercicio 4: Problemas de aplicación

Para el desarrollo de este ejercicio, es necesario que revise en el
Entorno de Aprendizaje (Unidad 2 - Fundamentos de Lógica -
Contenidos y referentes bibliográficos) las siguientes referencias:

• Pérez, A. R. (2013). Una introducción a las matemáticas

discretas y teoría de grafos. El Cid Editor. (pp. 40-49).

• Vargas, E., Núñez, L. A. (2019). Lógica matemática y teoría de

conjuntos. Universidad Abierta para Adultos (UAPA). (pp. 19-
36).

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

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 4:

A. Expresión simbólica: [ (p →q) ∧ (p ∨ ~r) ∧ (r)]→ (q ᴧ r)

Premisas:
P1: (p → q)
P2: (p ∨ ~r)
P3: r
Conclusión: q ᴧ r
 B. Expresión simbólica: [ (p →r) ∧ (~q ᴧ r) ∧ (~r ∨ q)]→~p

P1: (p →r)

P2: (~q ᴧ r)

P3: (~r ∨ q)

Conclusión: ~p

C. Expresión simbólica: [p∧(p→∼r) ∧ (q v r)]→ (q ᴧ p)

P1: p
P2: (p→∼r)
P3: (q v r)
Conclusión: q ᴧ p

D. Expresión simbólica: [(∼q∧∼r) ∧ (∼r→ q)∧(p→ q)]→(∼p∧ q)

Premisas:
P1: (∼q ∧ ∼r)
P2: (∼r →q)
P3: (p →q)
Conclusión: (∼p ∧ q)

E. Expresión simbólica:
[(p→∼q) ∧ (∼q →r) ∧(∼r)]→(∼p∧∼r)

P1: (p→∼q)
P2: (∼q →r)
P3: ~r
Conclusión: (∼p∧∼r)

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

➢ 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 y/o de problemas de su entorno. Las
proposiciones simples deben contener 1. Sujeto, 2. Cópula,
acción o verbo y 3. Complemento predicado. Mínimo 7 palabras.
Ejemplo:
• p: Patricia está matriculada en Psicología en la UNAD
• q: La UNAD forma profesionales idóneos en todos sus
programas.
• r: El mayor problema en mi comunidad es la falta de agua
potable.
➢ 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 manualmente a partir del lenguaje
simbólico (En Word, Excel o foto del desarrollo manual).
➢ 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 6 - Simulador Lógica UNAD.
➢ Demostrar la validez del argumento mediante las leyes de la
inferencia lógica.

Condiciones de entrega en foro:

➢ Nombre el archivo Word de su aporte de la siguiente manera:
unidad 2_nombre del estudiante.
Presentar el desarrollo de los ítems en un documento en Word
en el foro de la tarea que se encuentra en el Entorno de
Aprendizaje.
Nota
En la carpeta que se encuentra en el entorno de aprendizaje
denominada: Guía de actividades y rúbrica de evaluación -
Unidad 2 - Tarea 2 – Métodos para probar la validez de
argumentos, podrá acceder a los documentos de apoyo para la
realización de su tarea.

En el Anexo 5 – Guía para el desarrollo de la tarea 2, se

establece un ejemplo modelo a seguir para dar respuesta a los ítems
planteados.

En el Anexo 6 – Simulador Lógica UNAD, se detalla el uso del

simulador a utilizar para validar las tablas de verdad.

Puede usar la Plantilla tarea 2 para tener un documento base para

el desarrollo de su trabajo escrito.