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

Diego Fernando Prieto – Código 1069736015

Pensamiento Lógico y Matemático

Grupo 200611_2698

Director-Tutor

Miryan Patricia Villegas

Universidad Nacional Abierta y a Distancia - UNAD

ECSAH

2022
 Introducción

El presente trabajo se desarrollan ejercicios con respecto a las proposiciones, de igual

forma se realizan tablas de verdad de manera manual y tablas de verdad a través

de simulador lógica de la UNAD, con la finalidad de aprender la lógica

matemática desde el lenguaje natural y simbólico.

Este trabajo es realizado con cuatro ejercicios desarrollados como lo solicitan en la guía

de aprendiz
 Objetivos

General

 Aprender proposiciones y tablas de verdad con los ejercicios.

 Entender el lenguaje simbólico y lenguaje natural

Específicos

 Diseñar tablas de verdad manuales y en el simulador lógica de la UNAD

 Diseñar lenguaje natural y simbólico

 Desarrollo de los ejercicios

Ejercicio 1: Proposiciones y tablas de verdad

Proposiciones simples

Letra D

p: La UNAD es una universidad con acreditación institucional

q: La UNAD rompe récords entre las instituciones de educación superior.

r: La UNAD demostró al país que tiene un modelo de educación riguroso que

soporta la formación virtual a distancia con altos estándares de calidad.

Lenguaje simbólico

(𝑝 ∧ 𝑞) → r

Lenguaje Natural:

La UNAD es una universidad con acreditación institucional y rompe récords

entre las instituciones de educación superior, entonces la UNAD demostró al

país que tiene un modelo de educación riguroso que soporta la formación virtual

a distancia con altos estándares de calidad

  Tabla manual

Para determinar el número de filas realizamos la ecuación 2n en este caso seria

23=2x2x2=8

𝑝 𝑞 r 𝑝∧ (𝑝 ∧ 𝑞) →
𝑞 r

V V V V V
V V F V F
V F V F V
V F F F V
F V V F V
F V F F V
F F V F V
F F F F V
 Se clasifica como: Contingencia

 Tabla de verdad Simulador UNAD

 Enlace del vídeo:

https://youtu.be/wSyvoPigPB4
Ejercicio 2: Identificación de las reglas de la inferencia lógica

Letra D

Expresión simbólica

 leyes de inferencia

p˅q p→¬r p˄q

¬q p

p ¬r p

modus tollendo modus ponendo ponens Simplificación

ponens (MTP) ponens (MP)

Proposiciones simples

P: Sebastián hace el trabajo de español

q: Sebastián juega futbol

r: juliana estudia para el examen Sebastián juega futbol

Lenguaje simbólico

p˅q
¬q

Lenguaje natural:

Sebastián hace el trabajo de español o Sebastián juega futbol. Sebastián no

juega futbol, Sebastián hace el trabajo de español.

 Lenguaje simbólico

p→¬r
p
¬r

Lenguaje natural:

Si Sebastián hace el trabajo de español entonces juliana no estudia para el

examen. Sebastián hace el trabajo de español. Por lo tanto, juliana

no estudia para el examen.

Lenguaje simbólico

p˄q
p

Lenguaje natural:

Sebastián hace el trabajo de español y Sebastián juega futbol por lo tanto

Sebastián hace el trabajo de español.

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

Letra D

El corazón es un órgano sumamente poderoso o el corazón tiene fuerza espiritual. El

corazón no tiene fuerza espiritual.

a. Lenguaje simbólico:

r˅s
¬s
r

b. Ley de inferencia aplicada:

Modus tollendo ponens (MTP)

c. Conclusión:

El corazón es un órgano sumamente poderoso

Ejercicio 4: Problemas de aplicación

Letra D

Expresión simbólica:

[(∼ 𝑝 →∼ 𝑞) ∧ (∼ 𝑞 →∼ 𝑟) ∧ (∼ 𝑝)] → (∼ 𝑞 ∧ ∼ 𝑟)

Proposiciones simples

p: Diego estudia en su casa

q: Diego cumple con sus trabajos

r: Diego traba de noche

Lenguaje natural.

Si Diego no estudia en su casa entonces Diego no cumple con sus

trabajos. Diego no cumple con sus trabajos entonces Diego no

trabaja de noche. Diego no estudia en su casa por lo tanto diego no

cumple con sus trabajos o Diego no trabaja de noche.

𝑝 𝑞 𝑟 ∼𝑝 ∼𝑞 ∼𝑟 (∼ 𝑝 →∼ 𝑞) (∼ 𝑞 →∼ 𝑟) [(∼ 𝑝 →∼ 𝑞) ∧ (∼ 𝑞 →∼ 𝑟) [(∼ 𝑝 →∼ 𝑞) ∧ (∼ 𝑞 →∼ 𝑟) ∧ (∼ 𝑝) [(∼ 𝑝 →∼ 𝑞) ∧ (∼ 𝑞 →∼ 𝑟) ∧ (∼ 𝑝)] → (∼ 𝑞 ∧ ∼ 𝑟)

V V V F F F F V F F V

V V F F F V F V F F V

V F V F V F V F F F V

V F F F V V V V V F V

F V V V F F V V V V V

F V F V F V V V V F V

F F V V V F V F F F V

F F F V V V V V V F V

 Tabla de verdad manual

 Tabla de verdad a través del simulador Lógica UNAD
  Leyes de la inferencia lógica.

P1: ∼ 𝑝 →∼ q

P2: ∼ 𝑞 →∼ r

P3: ∼ 𝑝

P4: p Modus Ponendo Ponens entre P1 y P2

P5: ∼ q Modus Ponendo Ponens entre P1 y P4

 Conclusiones

Con relación a las tablas de verdad podemos decir que es una forma de analizar y

determinar los valores de verdad en un enunciado, gracias a las tablas de verdad

es más sencillo saber si una fórmula es correcta y nos permiten que las personas

demuestren o refuten la validez de un argumento.

Las leyes de inferencia

desarrollan la capacidad
que tiene una persona para
elaborar
argumentos y analizarlos
con un punto de vista
crítico, también afirman
que hacer uso de
la razón de igual forma se
puede aplicar en diferentes
aspectos de la vida de esa
persona.
Las leyes de inferencia nos ayudan a elaborar argumentos y analizarlos con un punto de

vista crítico y de igual forma se puede aplicar en diferentes aspectos de la vida

cotidiana.

Para demostrar la validez de un argumento se hace a través de la conclusión de un

argumento a partir de sus premisas.

 17

Referencias Bibliográficas

Castaño, C. (2017). OVI. Leyes de inferencia.  Repositorio Institucional

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

Castaño, C. (2017). OVI. Proposiciones y tablas de verdad.  Repositorio Institucional

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

Castaño, C. (2019). OVA. Leyes de la inferencia. Repositorio Institucional

UNAD. https://repository.unad.edu.co/handle/10596/31590

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

Ciencias Aplicadas (UPC) 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. (pp. 40-

49).  El Cid Editor  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). Editorial

Tébar Flores  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. 19-39). 

Larousse - Grupo Editorial

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