Anexo 4 - Ejercicios Tarea 2

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.
ejercicio B en todos los grupos de
ejercicios.
ejercicio C en todos los grupos de
ejercicios.
ejercicio D en todos los grupos de
ejercicios.
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: La mayor problemática social es la falta de educación

q: La educación debe asumir pertinencia en sus modelos.
r: El modelo educativo actual retrasa el desarrollo generando
desigualdades en la sociedad.
𝑝 → (q v 𝑟)
B. p: El calentamiento global es un gran problema de la humanidad.

r: El calentamiento global genera desastres naturales
s: La descarbonización de las energías ayuda a mitigar el
calentamiento global
(𝑝 ᴧ r) → s
C. p: El Sistema del Servicio Social Unadista (SISSU) es una mirada de
la UNAD para formar profesionales humanistas
q: La UNAD está comprometida con los problemas sociales.
r: La UNAD es la primera megauniversidad del país.
(p ∧ q) ↔ r
D. p: En las grandes ciudades el principal problema es la movilidad por

los interminables trancones.
q: En las zonas rurales un gran problema es la movilidad por la falta

de buenas vías.
r: En Colombia el gran problema es la movilidad.
(𝑝 ∧ 𝑞) → r
E. p: Colombia es un país vulnerable al cambio climático
q: El plan de desarrollo nacional debe implementar acciones de

mitigación al cambio climático
[(𝑝 → 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

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

discretas y teoría de grafos. El Cid Editor. (pp. 40-49).
36).
Una vez realizadas las lecturas, desarrolle la actividad propuesta.

A continuación, encontrará los argumentos para el desarrollo del
ejercicio 2:
A. Si Camila es una líder ambiental entonces gana un premio

internacional a jóvenes ambientalistas. Camila es una líder
ambiental.
a. Lenguaje simbólico:
b. Ley de inferencia aplicada:
________________________________________
c. Conclusión:
___________________________________________________
___________________________________________________
____________
B. Si un estudiante de la Unad participa oportunamente en los foros,

entonces se apropia del conocimiento. Si el estudiante se apropia
del conocimiento, entonces el estudiante aprueba el curso.

________________________________________
c. Conclusión:
_______________________________________________
___________________________________________________
______
C. Patricia estudia Psicología o Patricia estudia Música. Si Patricia

estudia Psicología entonces Patricia matricula epistemología de
la Psicología. Si Patricia estudia música entonces Patricia
matricula fundamentos de la escritura musical.

________________________________________
c. Conclusión:
______________________________________________
___________________________________________________
______
D. El Sistema de Servicio Social Unadista permite que los

profesionales se compenetren con la realidad social y el curso de
Pensamiento Lógico Matemático favorece la comprensión de
todos los cursos del programa.

________________________________________
c. Conclusión:
_______________________________________________
___________________________________________________
______
E. El territorio colombiano es considerado como megadiverso por su
variedad de pisos térmicos o el país es una potencia mundial por
su desarrollo económico. El país no es una potencia mundial por
su desarrollo económico.

________________________________________
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


36).
Una vez realizadas las lecturas propuestas en el entorno, desarrolle el

ejercicio propuesto
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) ᴧ (q→r) ᴧ (p v s) ᴧ~s]→ (p v t)

P1: p→q Conclusión: p v t
P2: q→r
P3: pvs
P4: ~s
Demostración:
Premisa Ley de inferencia aplicada Premisas usadas
P5: p→ r
P6: p
P7: p v t
B. Expresión simbólica
[(p v q) ᴧ (p→ r) ᴧ (q →s) ᴧ ~r]→ (s v p)
P1: pvq Conclusión: s v p

P2: p→ r
P3: q→s
P4: ~r
Demostración:
P5: r v s
P6: s
P7: p v s
C. Expresión simbólica
[(p v q) ᴧ ~p ᴧ (q→r) ᴧs]→ (r ᴧ s)
P1: (p v q) Conclusión: (r ᴧ s)
P2: (~p)
P3: (q→r)
P4: s
Demostración:
P5: q
P6: r
P7: r ᴧs
D. Expresión simbólica ejercicio 3 D

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

P2: q→r
P3: pvq
P4: ~r
Demostración:
P5: r
P6: ~p
P7: ~p ᴧr
P8:( ~p ᴧ r) v q
E. Expresión
[(p→q) ᴧ(r→s) ᴧ (p ᴧ ~s)]→[(qᴧ~r) ᴧq]
P1: p→q Conclusión: [(q ᴧ ~r) ᴧ p]

P2: r→s
P3: p ᴧ ~s
Demostración:
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



36).
Una vez realizada la lectura, desarrolle el ejercicio propuesto.
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.
➢ 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.

Anexo 4 - Ejercicios Tarea 2

Cargado por

Copyright:

Formatos disponibles

Anexo 4 - Ejercicios Tarea 2

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Anexo 4 - Ejercicios Tarea 2

Cargado por

Copyright:

Formatos disponibles

ANEXO 4 - Ejercicios Tarea 2

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

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

Tabla 1 Distribución ejercicios Tarea 1

1. Nombre del estudiante 2. Grupo de ejercicios a

Ejercicio 1: Proposiciones y tablas de verdad

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

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

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

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

Una vez realizadas las lecturas, desarrolle el ejercicio propuesto

Descripción del ejercicio:

A. p: La mayor problemática social es la falta de educación

B. p: El calentamiento global es un gran problema de la humanidad.

D. p: En las grandes ciudades el principal problema es la movilidad por

q: En las zonas rurales un gran problema es la movilidad por la falta

r: En Colombia el gran problema es la movilidad.

E. p: Colombia es un país vulnerable al cambio climático

q: El plan de desarrollo nacional debe implementar acciones de

A partir del argumento que haya seleccionado deberá dar

➢ Escribir la proposición compuesta propuesta en un lenguaje

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

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

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

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

Ejercicio 2: Aplicación de las reglas de la inferencia lógica

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

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

Una vez realizadas las lecturas, desarrolle la actividad propuesta.

Descripción del ejercicio:

A. Si Camila es una líder ambiental entonces gana un premio

b. Ley de inferencia aplicada:

B. Si un estudiante de la Unad participa oportunamente en los foros,

b. Ley de inferencia aplicada:

C. Patricia estudia Psicología o Patricia estudia Música. Si Patricia

b. Ley de inferencia aplicada:

D. El Sistema de Servicio Social Unadista permite que los

b. Ley de inferencia aplicada:

b. Ley de inferencia aplicada:

➢ Definir la expresión del argumento en lenguaje simbólico

➢ Nombrar la ley de inferencia que se aplica para probar

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

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

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

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

Descripción del ejercicio:

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

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

P1: pvq Conclusión: s v p

D. Expresión simbólica ejercicio 3 D

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

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

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

Ejercicio 4: Problemas de aplicación

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

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

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: