Está en la página 1de 16

PENSAMIENTO LOGICO Y MATEMATICO

PRESENTADO POR:

Ingrid Katherine Murillo Rodríguez

CODIGO:

PRESENTADO A :

FRANCISCO JAVIER REYES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA- UNAD

CCAV –NEIVA (HUILA)

2021
INTRODUCCION.

El presente trabajo de lógica matemática estará enfocado en las leyes de inferencia de la

lógica, los diferentes pasos para poder realizar tablas de verdad y poder entender los diferentes

lenguajes de las proposiciones propuestas para llegar a su diferente argumento. En este trabajo se

van a realizar diferentes ejercicios donde se implementarán los diferentes lenguajes, se realizarán

las tablas de verdad y se aplicarán las leyes de inferencia para comprender a profundidad la

lógica matemática.
OBJETIVO GENERAL.

Comprender los conceptos lógicos para aplicar las tablas de verdad y reglas de inferencia para

probar validez de argumentos.

OBJETIVO ESPECIFICO.

 Realizar y comprender tablas de verdad

 Entender los diferentes lenguajes de las proposiciones.

 Desarrollar los diferentes métodos de las reglas de

inferencia para llegar a su respectiva conclusión.


1. A continuación, se encontrará las proposiciones simples para el desarrollo del ejercicio.

B. p: En 2020 creció el desempleo

q: En 2020 hubo pandemia

r: Hubo inversión económica

( p ∧q ) ∨( p ∧∼ r )

 Escribir la proposición compuesta en lenguaje natural.

En 2020 hubo pandemia y creció el desempleo o en 2020 creció el desempleo

y no hubo inversión económica.

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico y

determinar si el resultado es una tautología, contingencia o contradicción.

p q r ∼r ( p ∧q ) ( p ∧∼ r ) ( p ∧q ) ∨( p ∧∼ r )
V V V F V F V
V V F V V V V
V F V F F F F
V F F V F V V
F V V F F F F
F V F V F F F
F F V F F F F
FF F V F F F

La tabla de verdad es una contingencia.

 Generar la tabla de verdad a través de simulador lógica UNAD.


Link del video explicativo del punto 1.
https://youtu.be/a9w6PrTrVNg

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

leyes de inferencia.
 Nombrar la ley de inferencia que representa cada expresión simbólica.

Simplificación.

Silogismo hipotético.
Modus ponens.

 Definir las proposiciones simples.

p: Ingrid está viendo lógica matemática.

q: lógica matemática es una materia complicada.

r: Ingrid necesita de mucho trabajo.

 Construir el lenguaje natural de cada ley de inferencia expresada en lenguaje

simbólico.

Ingrid está viendo lógica matemática, lógica matemática es una materia

complicada.

Lógica matemática es una materia complicada, necesita de mucho trabajo.


Ingrid está viendo lógica matemática, necesita de mucho trabajo.

Ingrid está viendo lógica matemática, lógica matemática es una materia

complicada.

3. A continuación, se encontrarán unos argumentos.

B. Vendo todo o recupero la cartera. Si vendo todo entonces cumplo la meta. Si

recupero la cartera entonces bonifico comisión en la empresa.

 Identificar la conclusión del argumento.

Conclusión: cumplo la meta o bonifico comisión en la empresa.


 Nombrar la ley de inferencia que se aplica para probar el argumento.

La ley de inferencia utilizada es silogismo constructivo.

 Definir la expresión del argumento en lenguaje simbólico o formal.

p: vendo todo.

q: recupero la cartera.

r: cumplo la meta.

s: bonifico comisión en la empresa.

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

argumento para el desarrollo del ejercicio.


 Definir las proposiciones simples.

p: Ingrid está viendo lógica matemática.

q: lógica matemática es una materia complicada.

r: Ingrid necesita de mucho trabajo.

 Reemplazar las variables expresadas simbólicamente y llevarlas al lenguaje

natural.

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

Si Íngrid ve lógica matemática entonces es una materia complicada y si Íngrid

ve lógica matemática entonces necesita de mucho trabajo por lo tanto Ingrid

necesita de mucho trabajo.


 Generar una tabla de verdad manualmente a partir de lenguaje simbólico.

p q r ( p →q ) ( p ) ∧ ( p→ q ) ( p →r ) [ ( p ) ∧ ( p → q ) ∧ ( p →r )] [ ( p ) ∧ ( p → q ) ∧ ( p →r )]→ r
V V V V V V V V
V V F V V F F V
V F V F F V F V
V F F F F F F V
F V V V F V F V
F V F V F V F V
F F V V F V F V
F V F V F V

 Generar la tabla de verdad a través del simulador lógica UNAD.


 Demostración de validez del argumento mediante las leyes de inferencia lógica.

Premisas:

P1: p

P2: p →q

P3: p →r

Conclusión: r

Demostración:

P1: p

P2: p →q

P3: p →r

P4:r Modus Ponens 3,1


CONCLUSION.

Por medio de los ejercicios propuestos y realizados se pudo entender y desarrollar las

diferentes maneras de cómo realizar una tabla de verdad tanto manualmente como por

medio del simulador virtual, así mismo también se pudo entender los diferentes lenguajes

tanto simbólicos como naturales de las diferentes proposiciones y por ultimo también

dicho desarrollo de estos ejercicios nos ayudó para ver las diferentes reglas de inferencia,

entenderlas y aplicarlas para poder llegar a la respectiva conclusión del ejercicio.


Bibliografía

Curo, A. (2015). Matematica basica para administradores. En A. Curo. universidad peruana de

ciencias aplicadas.

Perez, A. R. (2013). una introduccion a las matematicas discretas y teoria de grafos. cordoba.

Rodriguez, V. R. (2013). conjuntos numericos, estructuras algebraicas y fundamentos de

algebra lineal. Madrid, España: Tebar Flores.

Villalpando, B. J. (2014). Matematica discreta: aplicaciones y ejercicios. Mexico, D.F: Patria.