1

Tarea 2 Métodos para probar la validez de argumentos

Estudiante: Edison Estiven Valdes Vega

Grupo: 2121

Tutora: Edna Rocio Rodriguez Escandon

Universidad Nacional Abierta y a Distancia

23 Abril 2023
 2

INTRODUCCIÓN

Con el desarroll0o del siguiente trabajo se podrá ver implementado el conocimiento

adquirido a lo largo del curso de lógica matemática y la Unidad 2, desarrollando todos los

ejercicios planteados del literal C, y aportando avances significativos de los puntos a desarrollar

en el foro del curso.

 3

OBJETIVOS

Objetivos General:

Lograr comprender la dinámica del trabajo para así, poder realizar de manera exitosa

cada uno de los ejercicios.

Objetivos Específicos:

Poder dar solución cada uno de los puntos planteado en el literal C.

Identificar la manera de realizar los ejercicios.

Comprender y lograr apropiarme de los conceptos claves para la realización de los

ejercicios.
 4

Ejercicio seleccionado el C.

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.

Edison Estiven Valdes Vega 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.

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

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
 5

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:

Solución:

 El sistema del servicio social unadista (SISSUS) es una mirada de la UNAD para formar

profesionales humanistas y la UNAD está comprometida con los problemas sociales si y

solo si la UNAD es la primera mega universidad del país.

p q r (p ∧ q) ↔ r

V V F V

V V V F

V F F F

V F V V

F V F F

F V V V

F F F F

F F V V
 6

Podemos determinar que es CONTIGENCIA porque hay verdaderas y falsas.

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

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.

a. Lenguaje simbólico:

Ley de inferencia aplicada:

La ley de inferencia aplicada es silogismo disyuntivo.

Conclusión:

Patricia matricula epistemología de la filosofía o patricia matricula fundamentos de la

escritura música.
 7

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

lógica

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

P1: (p v q)

P2: (~p)

P3: (q→r)

P4: s

Conclusión: (r ᴧ s)

Premisa Ley de Premisas

inferencia aplicada usadas

P5: q Tollendo P1y p2

ponenns (TP)

P6: r Ponendo P3y p4

ponens (PP)

P7: r ᴧs Adjuccion (A) P6 y p4

 8

Ejercicio 4: Problemas de aplicación.

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
 9

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.

Solución:

 Proposiciones simples:

P: Sofía trabaja en un restaurante en la cuidad donde vive.

q: Sofía estudia ingeniería de sistemas en la UNAD.

 10

r: Sofía estudia su ingeniería por las tardes.

 Lenguaje natural:

Sofía trabaja en un restaurante en la cuidad donde vive y si Sofía trabaja en un

restaurante de la cuidad donde vive entonces Sofía no estudia su ingeniería por las

tardes. Sofía estudia ingeniería de sistemas en la UNAD o Sofía estudia su ingeniería

por las tardes. Por lo tanto, Sofía estudia su ingeniería de sistemas en la UNAD y Sofía

trabaja en un restaurante de la cuidad donde vive.

 Demostración de la validez de argumento mediante las leyes de inferencia lógica.

P1=p

P2=

P3=

Pfi= modus ponendo ponens con p2y p1.

Pfí= tollendo ponens con p3y p4.

Pfí= adjunción con p5y p1 conclusiones=

 11

CONCLUSIÓN

Podemos concluir que la adecuada aplicación lógico y las leyes de la inferencia lógica

por medio de los ejercicios desarrollados anteriormente nos ayuda a ampliar nuestros

conocimientos sin tener que apelar a la experiencia, por lo cual así podemos justificar o aportar

razones en favor de lo que conocemos o creemos conocer, siendo así el punto de separación

entre el instinto y el pensamiento humano, llevando a analizar y desarrollar un criterio propio.

 12

REFERENCIA BIBLIOGRAFICA

Curo, A. (2015). Matemática básica para administradores. Universidad Peruana de

Ciencias Aplicadas (UPC). (pp. 13-27). https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/41333?page=10

Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. El

Cid Editor. (pp. 40-49). https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59

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). https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/51977?page=20

Vargas Villegas, E. & Nuñez, L. A. (2019). Lógica matemática y teoría de

conjuntos. Universidad Abierta para Adultos (UAPA). (pp 68-77). https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/176645?page=68

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

Abierta para Adultos (UAPA). (pp. 19-36). https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/176645?page=19