Pensamiento Lógico Matemático

Métodos para probar la Validez de argumentos

Presentado Por:

Geovannys Blanco Ruiz

CC. 1006868483

Presentado a:
Darwin Barros

Numero de Curso:
200611_537

Universidad Nacional Abierta y a Distancia

“UNAD”
 Introducción

En el presente trabajo se muestra el método para validar cada argumento en las

proposiciones utilizando tablas de la verdad y desarrollando cada proposición con sus

respectivos conectores y la realización de un video educativo tipo explicativo.

Se evidencia el uso de tablas de lenguaje simbólico al natural para el desarrollo de

cada uno de los ejercicios presentados que este caso son cada ejercicio C.
 Objetivos Generales

 Resolver cada Ejercicio, solucionando cada problema con bases a las tablas para

probar su validez.

Objetivos Específicos

 Identificar cada conectivo y su significado.

 Desarrollar Ejercicios propuestos.

 Reconocer cada teoría ley de Inferencia para el desarrollo de estos ejercicios.

Ejercicio 1

Proposiciones Simples
C. p: En las competencias ganan los mejores
q: Las olimpiadas de matemáticas es una competencia
r: Los estudiantes participan en las olimpiadas de matemáticas
s: La Unad desarrolla las Olimpiadas de matemáticas

Lenguaje simbólico
(s ꓥ r) → (𝑞 → 𝑝)

Lenguaje Natural
La Unad desarrolla las Olimpiadas de matemáticas y Los estudiantes participan en las
olimpiadas de matemáticas, por tanto, si las olimpiadas de matemáticas es una
competencia entonces En las competencias ganan los mejores.

Tabla manual

Se clasifica como: Contingencia.

Tabla de verdad Simulados Unad

Enlace del video:

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

➢ Expresión simbólica

r𝖠s pVq pVq

p→r p→t
q→s q→t

s rVs t

➢ Ley de inferencia de la expresión:

A: Simplificación

B: Silogismo Disyuntivo (DS)

C: Simplificación Disyuntiva

➢ Proposiciones simples:

p: Darío tiene un grupo de Trabajo

q: Darío estudia psicología Evolutiva
r: Darío pertenece a la UNAD
s: Darío es un buen estudiante
t: Darío obtiene buenos promedios en la UNAD

➢ Lenguaje Natural:

1. Darío pertenece a la UNAD y Darío es un buen estudiante por lo tanto Darío es un

buen estudiante.

2. Darío tiene un grupo de trabajo o Darío estudia psicología evolutiva si Darío tiene
un grupo de trabajo entonces Darío pertenece a la UNAD si Darío estudia
psicología evolutiva entonces Darío es un buen estudiante, por lo tanto, Darío
pertenece a la UNAD o Darío es un buen estudiante.

3. Darío tiene un grupo de trabajo o Darío estudia psicología evolutiva Si Darío tiene
un grupo de trabajo entonces Darío obtiene buenos promedios en la UNAD por lo
tanto Darío obtiene buenos promedios en la UNAD.
Ejercicio 3

C: Los ojos hacen más ejercicios que las piernas y los músculos de nuestros ojos se mueven mucho
más de lo que te imaginas.

Proposiciones simples
P: Los ojos hacen más ejercicios que las piernas
q: los músculos de nuestros ojos se mueven mucho más de lo que te imaginas

Lenguaje simbólico.

pAq

Ley de inferencia aplicada: Simplificación (s)

Conclusión: Los ojos hacen más ejercicios que las piernas (p)
Ejercicio 4
C. Expresión simbólica: [(𝑝 ∨ 𝑞) ↔ (¬𝑝 ∧ ¬𝑞)] → (𝑝 ∧ 𝑞)

Premisas:
P1: (𝑝 ∨ 𝑞)
P2:(¬𝑝 𝖠 ¬𝑞)

Conclusión: (𝑝 𝖠 𝑞)
1. Proposiciones simples

P: Dario estudia psicología en la UNAD

q: Darío Saca buenos promedios en la UNAD

Lenguaje natural
Darío estudia psicología en la UNAD O Darío saca buenos promedios en la UNAD
SI SOLO SI Darío NO estudia psicología en la UNAD Y Darío NO Saca buenos
promedios en la UNAD POR TANTO Darío estudia psicología en la UNAD Y
Darío saca buenos promedios en la UNAD.

Tabla de verdad manual

Se clasifica como: tautología

Tabla de verdad simulador de lógica UNAD
 Conclusiones
En el presente trabajo se puede evaluar cada ley de inferencia con la cual se trabajó

para dar resultado a cada proposición expuesta para resolver, cabe decir que cada

proposición tiene una diferente forma para resolver con su lenguaje simbólico y convertid a

lenguaje natural, dando a conocer cada proposición y su respectiva tabla de la verdad dando

reconocimiento una tabla de la verdad por cada proposición e intervalos que están

plasmados en la guía.
 Referencias Bibliográficas.

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

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

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

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

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

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

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