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: Un objetivo del OIR es analizar las problemáticas de las

regiones afianzando la pertinencia de los procesos educativos
de la UNAD.

q: El OIR busca potenciar el talento de los estudiantes en sus

regiones.

r: El OIR se empeña en reducir las inequidades territoriales

[(𝒑 ∧ 𝒓) ∨ (𝒑 → 𝒒)]
 B. p: El SISSU es la estrategia solidaria que dinamiza la E-comunidad.

q: La E-comunidad es una de las dimensiones del Modelo

Pedagógico Unadista E-learning.

r: El E-MPU visualiza el proceso educativo del sujeto que posibilita

la construcción del conocimiento.

(p ∧ q) ↔ (q ∧ r)

C. p: El MPU es el marco de referencia que orienta el sentido de la

acción pedagógica institucional unadista.

q: El MPU centra su acción en el estudiante como referente clave

del proceso formativo.

r: La acción pedagógica incluye el proceso de autoformación que se

soporta en el uso intensivo de la tecnología.

(~r) → ((~q) ∨ p)

D. p: La calidad de la investigación unadista se dirige a través del

modelo de E-investigador.

q: El SIGI (Sistema de Gestión de la Investigación) mediante el

modelo E-Producción genera nuevo conocimiento.

(~p) → [(~q) ∧(q→p)]

E. p: Los semilleros de investigación de la UNAD desarrollan el

pensamiento crítico.

q: Un semillero de investigación dinamiza la adquisición de

competencias investigativas.

(p ∨q) ∧ (~p → q)

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. El gato de Lucía es de color amarillo o el gato de Lucía es de color

amarillo con blanco. El gato de Lucía no es de color amarillo con
blanco.
a. Lenguaje simbólico:

b. Ley de inferencia aplicada:

________________________________________
c. Conclusión:
__________________________________________________
__________________________________________________
______________
B. Si Manizales es la capital del departamento de Caldas, entonces
Pereira no es la Capital del Quindío. Manizales es la capital de
Caldas.
a. Lenguaje simbólico:

b. Ley de inferencia aplicada:

________________________________________

c. Conclusión:
_______________________________________________
___________________________________________________
______

C. Los estudiantes de primera matrícula asisten al B-learning

virtual o Los estudiantes de primera matrícula asisten al B-
learning presencial. Si Los estudiantes de primera matrícula
asisten al B-learning virtual entonces construyen una buena
actividad. Si Los estudiantes de primera matrícula asisten al B-
learning presencial entonces construyen una buena actividad.
a. Lenguaje simbólico:

b. Ley de inferencia aplicada:

________________________________________

c. Conclusión:
______________________________________________
___________________________________________________
______

D. Si el estudiante unadista aprueba catedra sissu entonces

promueve el ejercicio de la acción solidaria. Si promueve el
ejercicio de la acción solidaria entonces será un líder
transformador.
 a. Lenguaje simbólico:

b. Ley de inferencia aplicada:

________________________________________

c. Conclusión:
_______________________________________________
___________________________________________________
______

E. Si un estudiante aplica al programa jóvenes en acción entonces

no cuenta con título profesional universitario. Un estudiante
aplica al programa jóvenes en acción.

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 ᴧ q) → (p ᴧ r)] ᴧ (p ᴧ q) ᴧ (p →r)} → r

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

Demostración:
Premisa Ley de inferencia aplicada Premisas usadas
P4: p ᴧ r
P5: p
 P6: r

B. Expresión simbólica
[(p v q) ᴧ (p → r) ᴧ (q →r) ᴧ p]→ (p ᴧ r)

P1: pvq Conclusión: p ᴧ r

P2: p→r
P3: q→r
P4: p

Demostración:
Premisa Ley de inferencia aplicada Premisas usadas
P5: r
P8: p ᴧ r

C. Expresión simbólica
{[𝒑 → (𝒒 → 𝒓)] ∧ 𝒑 ∧ ¬𝒓} → ¬𝒒

P1: 𝑝 → (𝑞 → 𝑟) Conclusión: ¬𝑞

P2: 𝑝

P3: ¬𝑟

Demostración:
Premisa Ley de inferencia aplicada Premisas usadas
P4: (𝑞 → 𝑟)
P5: ¬𝑞

D. Expresión simbólica
[(p→~q) ᴧ (~q →r) ᴧ (~r) ᴧ (p v q)]→ q

P1: (p→~q) Conclusión: q

P2: (~q →r)
P3: (~r)
P4: (p v q)

Demostración:
Premisa Ley de inferencia aplicada Premisas usadas
P5: p→ r
P6: ~p
P7: q
 E. Expresión
[(~p→r) ᴧ(q→s) ᴧ (~p ᴧ ~s)]→ ~q ᴧ r

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

P2: q→s
P3: ~p ᴧ ~s

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

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) ∧ (~q) ∧ (p ∨ r)]→ r ᴧ (~q)

Premisas:
P1: (p → q)
P2: (~ q)
P3: (p ∨ r)
Conclusión: r ᴧ (~q)

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

(r ᴧ p)

P1: (q →r)

P2: (p → r)

P3: (p ∨ q)

P4: (~p→~r)

Conclusión: (r ᴧ p)

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

P1: p ∧ (p→ r)

P2: (r → q)

P3: (r → ∼ q)

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

Premisas:

P1: (∼p → q)

P2: (q→ r)

P3: (∼r)

Conclusión: (p∧ (∼r))

E. Expresión simbólica:
[(𝒑 ∧ 𝒓) ∧ (𝒒 ∨ ¬𝒓) ∧ (𝒑 → 𝒒)] → (𝒒)

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 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.
➢ Demostración de 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.