Métodos para probar la validez de argumentos

Hasbleidy Dayana Angulo Jimenez

1120926440

Grupo 200611_1743

Octubre 01 del 2020

Tutor

Carolina Castaño Gutiérrez

Universidad Nacional Abierta y a Distancia (UNAD).

Escuela de ciencias sociales artes y humanidades (ECSAH).

Curso pensamiento lógico matemático

San José del Guaviare.

 Introducción

En este trabajo se puede evidenciar que realizamos unos ejercicios donde se

aplica tablas de verdad y reglas de inferencia para probar la validez de argumentos,

estos ejercicios constan de diferentes aplicaciones para generar una realización lo

mayor aceptada para llegar a comprender hay que estar dispuestos a tener un buen

manejo de la información presentada por los directrices de la UNAD.

 Objetivo

Este trabajo como objetivo principal es llegar a comprender sobre los métodos

para la aprobación de argumentos, y tener la capacidad de tener un desarrollo

exitoso. Aprender a realizar las tablas de verdad mediante las expresiones

simbólicas que nos dan. Conocer sobre el lenguaje natural de las proposiciones

compuestas, reconocer las reglas de inferencia lógica, las proposiciones simples,

lenguajes simbólicos, identificar la conclusión de argumentos. Y llegar a

aprendernos y reconocer los operadores lógicos.

Desarrollo de los 4 ejercicios

 Ejercicios E.

Ejercicio 1: proposiciones y tablas de verdad

 Proposiciones simples

p: Rafael Pombo es un escritor colombiano

q: Gabriel García Márquez escribió Mirringa Mirronga como simón el bobito

r: Rafael Pombo nació en Bogotá en el año 1833

 Lenguaje simbólico

[(p ˅ q) ↔r]^r

 Lenguaje natural

Rafael Pombo es un escritor colombiano O Gabriel García Márquez escribió

mirringa mirronga como simón el bobito SI Y SOLO SI Rafael Pombo nació en

Bogotá en el año 1833 y Rafael Pombo nació en Bogotá en el año 1833.

 Tabla manual
 p q r p˅q p˅q↔ [(p ˅ q) ↔r]^r
r
V V V V V V
V V F V F F
V F V V V V
V F F V F F
F V V V V V
F V F V F F
F F V F F F
F F F F V F

 Se clasifica como “contingencia” porque no es totalmente verdadera ni

totalmente falsa.

 Tabla de verdad simulador UNAD

Link de video explicación del ejercicio 1.

https://youtu.be/zeJGNpvBHq4

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

 Expresión simbólica
 r^s

 Ley de inferencia de la expresión

Simplificación (S)

 Preposición simple

r: mi libro de matemáticas tiene gráficas

s: mi libro de biología tiene fotografías

 lenguaje natural

mi libro de biología tiene fotografías.

 Expresión simbólica

p→q

q →r
 p→r

 Ley de inferencia de la expresión

Silogismo Hipotético (S.H)

 Preposición simple

p: Rafael prepara un quiz para los estudiantes

q: Rafael ya hablo con los estudiantes sobre el quiz

r: Rafael ya tiene el quiz para entregar

 lenguaje natural

si Rafael prepara un quiz para los estudiantes, entonces Rafael ya hablo

con los estudiantes sobre el quiz, si Rafael ya hablo con los estudiantes

sobre el quiz, entonces Rafael ya tiene el quiz para entregar, por lo tanto,

si Rafael ya hablo con los estudiantes sobre el quiz, entonces Rafael ya

tiene el quiz para entregar.

 Expresión simbólica

p→q

¬ q
¬ p
  Ley de inferencia de la expresión
Modust Tollendo Tollens (T.T)

 Preposiciones simples

p: Rafael prepara un quiz para los estudiantes

q: Rafael ya hablo con los estudiantes sobre el quiz

 lenguaje natural

si Rafael prepara un quiz para los estudiantes, entonces Rafael ya hablo

con los estudiantes sobre el quiz, Rafael no habla con los estudiantes

sobre el quiz, por lo tanto, Rafael no prepara quiz para los estudiantes.

Ejercicio 3: aplicación de las reglas de la inferencia lógica

 Argumento

Se puede evitar el contagio del COVID19 o utilizas las medidas de

bioseguridad. Si se puede evitar el contagio del COVID19. Entonces debes

 lavar constantemente tus manos. Si utilizas las medidas de bioseguridad

entonces debes aplicar el distanciamiento social.

 Conclusión

Debes lavar constantemente tus manos o debes aplicar el distanciamiento

social.

 Ley de inferencia aplicada

Silogismo disyuntivo (DS)

 Lenguaje simbólico

p˅q
P→r
q→s
r˅s

Ejercicio 4: problemas de aplicación

 Expresión simbólica

[(p → q) ^ (q → r) ^ (p ^ r)] → (q ^ r)

 Premisas
 P1: p → q

P2: q → r

P3: p ^ r

 Conclusión

q^r

 Proposición simple

p: Evelyn Perilla toma notas de las clases de ingles

q: ganas las evaluaciones

r: aprueba el año escolar

 Lenguaje natural

Si Evelyn perilla toma notas de las clases de inglés, entonces gana las

evaluaciones, si gana las evaluaciones, entonces aprueba el año escolar,

si Evelyn perilla toma notas de las clases de inglés y aprueba el año

escolar.

 Conclusión

Ganas las evaluaciones y aprueba el año escolar

 Tabla de verdad manualmente

 Esta tabla se nombra como tautología porque todas son completamente

verdaderas.

 Tabla de verdad simulador UNAD

 Demostración de la validez del argumento mediante las leyes de

inferencia.

P1: p → q

P2: q → r

P3: p ^ r

P4: p Simplificación en p3

P5: q Simplificación entre p1 y p4

P6: r Simplificación en p3
 P7: q ^ q Adjunción entre p5 y p6

Conclusiones

En este trabajo adquirí un buen conocimiento de las leyes de inferencia y las

tablas de la verdad con razonamientos deductivos e inductivos, llegando a obtener

el desarrollo de cada uno de mis ejercicios propuestos en la guía de actividades.

Pude concluir que para desarrollar esta temática se debe tener un buen manejo

de la apropiación de la información, poniendo atención e investigando la mejor

manera de resolver mi actividad.

Considero que, si aprendí y comprendí los ejercicios planteados, llegando a tener

un mayor conocimiento para la formación y aprobación de los argumentos.

 Referencias bibliográficas

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 9 - 31). Ediciones Elizcom, Madrid. Recuperado de https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/71192?page=12

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

grafos. Córdoba, AR: El Cid Editor. (pp. 40-49). Recuperado de 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. (pp.

19-28). Madrid, España: Editorial Tébar Flores. Recuperado de https://elibro-

net.bibliotecavirtual.unad.edu.co/es/ereader/unad/51977?page=20  

Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp.

28-37).  México, D.F, Larousse - Grupo Editorial Patria. Recuperado

de https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page=39

Castaño, C. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado

de http://hdl.handle.net/10596/13871  

Castaño, C. (2017). Leyes de inferencia, [Video]. Recuperado

de http://hdl.handle.net/10596/13869