1

Unidad 2 – Tarea 2 Métodos para probar la validez de argumentos

Yesika Paola Arias Villazon – Código 1065578182

Pensamiento Lógico y Matemático 200611

Grupo- 342

Director-Tutor

Mary Elsy Arzuaga

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería

2023
 2

Introducción

En el presente trabajo se realiza el desarrollo de la actividad tarea 2 del curso, proposiciones y

tablas de verdad el cual permitió entender de forma diferente los conceptos Métodos Para Probar

la Validez y aplicarlos para la solución de problemas.

En la lectura de la guía del material dado a trabajar se escogió la letra C para efectuar todos los

ejercicios, y se aplicó en el foro correspondiente, la aplicabilidad del pensamiento lógico, es algo

verdaderamente rutinario y presente en la realidad del ser humano, es la inteligencia que tenemos

de agrupar, relacionar, idear y argumentar al enfrentar situaciones o condiciones que impulsan una

reacción.
 3

Objetivos

General

Comprender los métodos utilizados de leyes de inferencia y argumentación.

Específicos

 Observar cada uno de los temas a desarrollar.

 Comprender y aplicar de mejor manera los conceptos.

 Identificar la relación existente en cada proposición y el símbolo que las une con su

respectivo equivalente lenguaje natural.

 4

Ejercicio 1: Proposiciones y tablas de verdad

Descripción del ejercicio:

A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio 1: 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 mega universidad del país.

(p ∧ q) ↔ r

➢ Escribir la proposición compuesta propuesta en un lenguaje natural.

El Sistema del Servicio Social Unadista (SISSU) 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.

➢ 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.

 5

La anterior tabla de la verdad es una contingencia ya que tiene resultados alternos.

➢ Generar la tabla de verdad a través del simulador Lógica UNAD.

➢ Realizar un vídeo de 5 minutos máximo:

https://web.microsoftstream.com/video/ec0d5d2d-177c-48a7-98b0-5a689553ea7b

Link vídeo explicativo ejercicio 1:

Ejercicio 2: Aplicación de las reglas de 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:

p= Patricia estudia Psicología

q= Patricia estudia Música

 6

r= Patricia matricula epistemología de la Psicología

s= Patricia matricula fundamentos de la escritura musical

P1: p v q

P2: p→ r

P3: q→ s

Conclusión: r → s

b. Ley de inferencia aplicada.

Es un Silogismo Disyuntivo (SD)

c. Conclusión:

Si Patricia matricula epistemología de la Psicología entonces Patricia matricula

fundamentos de la escritura musical.

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

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

P1: (p v q)

P2: (~p)

P3: (q→r)

P4: s

Conclusión: (r ᴧ s)

➢ Completar la tabla, estableciendo cada la ley de inferencia y las premisas utilizadas para

avanzar en la demostración.

Demostración:
 7

Premisa Ley de inferencia aplicada Premisas usadas

P5: q Silogismo disyuntivo (SD) P1, P2

P6: r Modus ponens P3

P7: r ᴧs Conjunción P6, P4

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

 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

➢ 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.

➢ 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 considerará como copia y se tomaran las medidas

correctivas estipuladas por la UNAD.

[p∧(p→∼r) ∧ (q v r)]→ (q ᴧ p)

p=Camilo no quiere ir al medico para vencer la anorexia

q=Camilo se prometió luchar para vencer la anorexia

r=Camilo logro avanzar con su tratamiento contra la anorexia

 9

Camilo no quiere ir al médico para vencer la anorexia. Si Camilo no quiere ir al médico para

vencer la anorexia entonces Camilo no logro avanzar con su tratamiento contra la anorexia

y Camilo se prometió luchar para vencer la anorexia o Camilo logro avanzar con su

tratamiento contra la anorexia si Camilo se prometió luchar para vencer la anorexia

entonces Camilo no quiere ir al médico para vencer la anorexia.

➢ 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.

 10

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

[p∧(p→∼r) ∧ (q v r)]→ (q ᴧ p)

P1=p

P2= (p→∼r)

P3= (q v r)

Conclusión= (q ᴧ p)

Premisa Ley de inferencia aplicada Premisas usadas

P4: ∼r Modus Ponendo Ponens (PP) P1, P2

P5: q Tollendo Ponens (TP) P3, P4

P6: q ᴧ p Adjunción (A9 P1, P5

 11

Conclusiones

Iniciando desde el desarrollo de este taller, determinamos claramente que estas preposiciones son

afirmaciones que logran tener solamente dos valores falso (F) o verdadero (V) y de esa depende

como elaboraremos una tabla.

Las definiciones del Lenguaje Natural y Simbólico es el artífice principal dentro de la elaboración

de los postulados que logran reconocer una tabla de valor.

Hacer una tabla de valor que permite identificar las leyes de inferencia correspondiendo a la

definición acorde con las características que determina un resultado final.

.
 12

Referencias Bibliográficas

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