1

MÉTODOS PARA VALIDEZ DE ARGUMENTOS

Myriam Yaneth Rivera Riaño

Tutor: Juan Manuel Aldana Porras

Lógica Matemática (90004_11)

Universidad Nacional Abierta y a Distancia UNAD

Escuela de Ciencias Administrativas, Contables, Económicas y de Negocios –

ECACEN

Programa: Administración de Empresas

CEAD: José Acevedo Gómez

Bogotá, julio de 2020

 2

Introducción

El presente trabajo tiene como fin aprender sobre las Proposiciones lógicas, ya que estas

son representadas por medio lenguajes simbólicos dado a estas preposiciones se pretende

identificar dentro del lenguaje natural que generalmente utilizamos para realizar un

enunciado sin importar el contexto que este tenga.

También se aprenderá sobre el concepto de tabla de verdad y su aplicación donde a partir

del resultado se aplicará las reglas de inferencia la cuales en esta actividad se conocerán y

como se aplicarán en los diferentes ejercicios de aplicación.

Objetivos

● Diferenciar los lenguajes simbólicos de un enunciado frente al lenguaje natural que

este tiene.

● Aprender sobre el concepto de proposiciones lógicas y ponerla en practica

● Identificar la estructura de una tabla de verdad y aplicarla en los ejercicios prácticos

● Identificar las leyes de inferencia lógica y en que momento son aplicadas en los

diferentes enunciados.
 3

Ejercicio 1: Proposiciones y Tablas de Verdad

De acuerdo con los argumentos propuestos en la guía de actividades, desarrollará el primer

ejercicio en base del argumento “B”, donde:

p: El tiburón blanco también es llamado el gran depredador de los mares

q: El tiburón blanco se encuentra en aguas templadas de casi todos los océanos

r: El tiburón blanco son un grupo de peces herbívoros marinos

[(p ∨ r) → (q ∧ r)]

● Escriba la proposición compuesta propuesta en el lenguaje natural

Si el tiburón blanco también es llamado el gran depredador de los mares o el tiburón

blanco son un grupo de peces herbívoros marinos. Entonces el tiburón blanco se

encuentra en aguas templadas de casi todos los océanos y el tiburón blanco son un

grupo de peces herbívoros marinos.

● Generar la tabla de verdad a través del simulador Lógica UNAD:

 4

● Generar una tabla manualmente a partir del lenguaje simbólico y determinar si es

una tautología, contingencia o contradicción.

p q r (p ∨ r) (q ∧ r) [(p ∨ r) → (q ∧ r)]

V V F V V V

V V V V F F

V F F V F F

V F V V F F

F V F V V V

F V V F F V

F F F V F F

F F V F F V

De acuerdo con los valores obtenidos en la proposición principal se evidencia por lo

menos una verdad y una falsedad corresponde a una CONTINGENCIA.

 5

● Realizar un video donde explique la forma como fue desarrollado el ejercicio 1

seleccionado. El estudiante debe aparecer en la grabación de frente y mostrar a la

cámara su documento de identificación, ocultando el número del mismo (En la

imagen se debe ver claramente nombres y apellidos del estudiante El estudiante

debe aparecer en la grabación de frente y mostrar a la cámara su documento de

identificación, ocultando el número del mismo (En la imagen se debe ver

claramente el nombre y apellidos del estudiante). Deberá subir el link del vídeo a

YouTube u otra plataforma de

vídeos y pegar el enlace debajo de la solución del ejercicio en el documento final a

entregar. El vídeo no debe superar los 3 minutos de duración.

Enlace de Video:

https://www.youtube.com/watch?v=RGBwmiwOCCI&feature=youtu.be
 6

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

A continuación, encuentra el lenguaje simbólico de expresiones que representan algunas

leyes de inferencia.

B. Expresión simbólica

● Ley de inferencia de expresión: MODO TOLLENDO PONENS

● Proposiciones simples:

p: José es docente de la materia Microeconomía de la UNAD

q: José es Decano de la facultad de Economía de la Universidad Central

● Lenguaje Natural: Si José es docente de la materia Microeconomía de la UNAD o

José es Decano de la facultad de Economía de la Universidad Central. José no es

decano de la facultad de Economía de la Universidad Central, por lo tanto, José es

docente de la materia de Microeconomía de la UNAD.

● Ley de inferencia de expresión: SIMPLIFICACIÓN DISYUNTIVA

● Proposiciones simples:
 7

p: Realizo un ejemplo matemático

q: Realizo un ejemplo matemático lógico

r: Apruebo la materia

● Lenguaje Natural: Yo realizo un ejemplo matemático o realizo un ejemplo

matemático lógico. Si realizo un ejemplo matemático, entonces, apruebo la materia.

Si realizo un ejemplo matemático lógico, entonces, apruebo la materia. Por lo tanto,

apruebo la materia.

● Ley de inferencia de expresión: SIMPLIFICACIÓN

● Proposiciones simples:

p: Camila lee un libro de historia mundial

q: Realiza una línea de tiempo de la segunda guerra mundial

● Lenguaje Natural: Camila lee un libro de historia mundial y realiza una línea de

tiempo de la segunda guerra mundial, por lo tanto, Camila realiza una línea de

tiempo de la segunda guerra mundial.

 8

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

A continuación, encontrará los argumentos para el desarrollo del ejercicio 3:

B. Los pintores dibujan bien o realizan exposición de las obras de arte. Los pintores dibujan

bien entonces obtienes reconocimientos. Realizan exposición de las obras de arte, entonces

son reconocidos en las principales ciudades.

a. Conclusión: Realizan exposición de las obras de arte, entonces son reconocidos

en las principales ciudades.

b. Ley de inferencia aplicada: Silogismo Disyuntivo

c. Lenguaje simbólico:

pV q

p→r

p→s

rV s
 9

Ejercicio 4: Problemas de aplicación

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un

argumento para el desarrollo del ejercicio 4:

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

P1:p

P2: (p → q)

P3: p → (q → r)

P4: (q → r)

Conclusión: r

A partir de la expresión simbólica seleccionada, el estudiante deberá:

● Definir las proposiciones simples, tendrá la libertad de definirla bajo una

descripción basada en un contexto, el que se solicita es un contexto académico

p: Raúl realiza un curso de gramática

q: Raúl tiene buena ortografía

r: Raúl estudia lingüística

● Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Raúl realiza un curso de gramática. Si Raul realiza un curso de gramática, entonces, Raúl

tiene buena ortografía. Si Raul realiza un curso de gramática, entonces, Raúl tiene buena

ortografía, por consiguiente, Raúl estudia lingüística. Si Raul tiene buena ortografía,

entonces, Raul estudia lingüística. Por lo tanto, Raúl estudia lingüística.

 10

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

● Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,

Excel o foto del desarrollo manual).

{p ∧ (p → q) ∧ [p → {p ∧ (p → q) ∧ [p → (q {p ∧ (p → q) ∧ [p → (q →
p q r (p → q) p ∧ (p → q) (q → r) [p → (q → r)]
(q → r) → r)] ∧ (q → r)} r)] ∧ (q → r)} → r

v v v v v v v v v v
v v f v v f f f f v
v f v f f v v f f v
v f f f f v v f f v
f v v v f v v f f v
f v f v f f v f f v
f f v v f v v f f v
f f f v f v v f f v
 11

● Demostración de la validez del argumento mediante las leyes de la inferencia

lógica

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

P1:p

P2: (p → q)

P3: p → (q → r)

P4: (q → r)

Conclusión: r

Silogismo hipotético P2, P4

Modus Ponendo Ponens P1,P2

 12

Conclusiones

De acuerdo a las actividades desarrolladas en la Guía, las variables que se conjugan

entre las mismas generando una afirmación tanto positiva como negativa, esto

prueba que muchas veces se pueden hacer afirmaciones verdaderas y sus

conclusiones pueden generar una falsedad, también una afirmación posee mas de

una premisa y dependiendo de como se exprese se puede interpretar de forma falsa

o verdadera, allí es donde hay que ser cuidadosos ya que los lenguajes naturales

expresamos lo que se cree pero se interpreta de una forma distinta.

Las tablas de verdad son un mecanismo practico para identificar si una premisa se

esta expresando una verdad o una falsedad y dependiendo de la conclusión se puede

identificar si dicha afirmación es una tautología donde el resultado de todas las

condicionales son verdaderas, una contradicción cuando todas las condiciones dan

falso o una contingencia donde se evidencia una verdad o una falsedad.

Por ultimo las reglas de inferencia en los ejercicios propuesto permite transformar

las diferentes premisas que hay en una afirmación y así analizar su sintaxis para

finalmente conocer la conclusión de este conjunto de afirmaciones.

 13

Referencias Bibliográficas

Rodríguez, H. (2017). Proposiciones y conectivos Lógicos (Valor de verdad proposiciones

compuestas). [Archivo de video]. Recuperado de http://hdl.handle.net/10596/11489

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://ebookcentral-proquest-com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.a

ction?docID=3213116&ppg=59

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

(pp. 78 - 99). Ediciones Elizcom, Madrid. Recuperado de

https://ebookcentral-proquest-com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.a

ction?docID=3199701&ppg=81