Tarea 1 Pensamiento Logico Matematico

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)
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:
[(∼ 𝑝 →∼ 𝑞) ∧ (∼ 𝑞 →∼ 𝑟) ∧ (∼ 𝑝)] → (∼ 𝑞 ∧ ∼ 𝑟)
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

Tarea 1 Pensamiento Logico Matematico

Cargado por

Copyright:

Formatos disponibles

Tarea 1 Pensamiento Logico Matematico

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tarea 1 Pensamiento Logico Matematico

Cargado por

Copyright:

Formatos disponibles

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

Diego Fernando Prieto – Código 1069736015

Pensamiento Lógico y Matemático

Miryan Patricia Villegas

Universidad Nacional Abierta y a Distancia - UNAD

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.

 Aprender proposiciones y tablas de verdad con los ejercicios.

 Entender el lenguaje simbólico y lenguaje natural

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

 Diseñar lenguaje natural y simbólico

Ejercicio 1: Proposiciones y tablas de verdad

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.

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

a distancia con altos estándares de calidad

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

 Tabla de verdad Simulador UNAD

p˅q p→¬r p˄q

modus tollendo modus ponendo ponens Simplificación

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

q: Sebastián juega futbol

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

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.

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.

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

Sebastián hace el trabajo de español.

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

corazón no tiene fuerza espiritual.

b. Ley de inferencia aplicada:

Modus tollendo ponens (MTP)

El corazón es un órgano sumamente poderoso

p: Diego estudia en su casa

q: Diego cumple con sus trabajos

r: Diego traba de noche

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.

 Tabla de verdad manual

P4: p Modus Ponendo Ponens entre P1 y P2

P5: ∼ q Modus Ponendo Ponens entre P1 y P4

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

demuestren o refuten la validez de un argumento.

Las leyes de inferencia

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

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

argumento a partir de sus premisas.

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

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