Está en la página 1de 11

LOGICA MATEMATICA

ERIKA QUINTERO JARABA

GRUPO
90004_486

PRESENTADO:
CARLOS MAURICIO SALAS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)


ABRIL DE 2019
INTRODUCCION

El siguiente trabajo pretende dar solución a los ejercicios propuestos en la unidad 2-

permitiéndonos métodos para probar la validez de argumentos, en el cualcontextualizamos las

reglas de inferencia Modus Ponendo Ponens, Modus TollendoTollens, y Silogismos Hipotético

relacionando ejemplos de las mismas. Podremos ver el planteamiento y formulación de

expresiones del lenguaje simbólico y el lenguaje natural, haciendo un análisis en la aplicación de

conectores lógicos que se dan para determinadas situaciones que se plantean en el trabajo a

presentar. Argumentar y formular tablas de verdad por medio del análisis de premisas y todoslos

conocimientos adquiridos.
OBJETIVOS GENERALES

Aprender temas tratados en la unidad 2 a través del desarrollo de algunos ejercicios, para

así profundizar algunos conceptos correspondientes con respecto a ello.

ESPECIFICOS

• Identificar conceptos básicos de la unidad.


• Resolver ejercicios de proposiciones del lenguaje natura al lenguaje simbólico y
viceversa.
• Realizar ejercicios para determinar el valor de la verdad.
• Realización de tablas de verdad y verificaciones con el simulador de la tabla de la verdad.
• Contextualizar las reglas de inferencia Modus Ponendo Ponens, Modus TollendoTollens,
y Silogismos Hipotético relacionando ejemplos de las mismas.
• Métodos para probar la validez de argumentos.
DESARROLLO TAREA 2

EJERCICIO 1.

Socializar en el Foro diseñado para el desarrollo de la actividad unidad 2, un mapa

conceptual que encierre los conceptos básicos de la presente unidad que son:

• Lógica Matemática

• Leyes de la inferencia lógica

• Razonamientos Lógicos
✓ EJERCICIO 2: Apropiación de las reglas de la inferencia.

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

• La conclusión que se identifica en el argumento.

• La ley de inferencia que se aplica para probar el argumento

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

En agosto hay mucho viento, entonces puedo elevar cometas. En agosto hay

mucho viento.

Conclusión: Puedo elevar cometas

Ley de inferencia aplicada: Modus ponendo ponens (MPP)

Lenguaje simbólico: 𝑝 → 𝑞

̅̅̅̅̅̅̅̅̅̅̅
𝑞
✓ EJERCICIO 3.

A partir del razonamiento que haya seleccionado, deberá dar respuesta a los siguientes

ítems:

• Identificar si el razonamiento es deductivo o inductivo.

• Argumentar la respuesta con sus propias palabras.

Rafael Nadal tenista español, está considerado como uno de los mejores tenistas de la

historia y el mejor de todos los tiempos en pistas de tierra europea. Hasta la fecha ha sido

campeón de 17 torneos de Grand Slam, lo que le coloca como el segundo jugador profesional con

más títulos "grandes" en la historia del tenis, tras el suizo Roger Federer. Se concluye que si este

año no juega Roger Federer en Wimbledon el ganador de este torneo será Rafael Nadal.

Argumentación: El razonamiento utilizado es el inductivo porque a partir de la verdad

de las premisas no se garantiza de manera segura la verdad de la conclusión, es decir el hecho de

que Rafael Nadal sea considerado como uno de los mejores tenistas de la historia, campeón de 17

torneos y el segundo jugador con más títulos no garantiza de que si no juega este año Roger

Federer en Wimbledon el ganador sea Rafael Nadal.


EJERCICIO 4.

Descripción del ejercicio: A continuación, encontrará la expresión simbólica, las

premisas y la conclusión de un argumento para el desarrollo del ejercicio 4:

Expresión simbólica: [(𝑝 → ¬𝑟) ∧ (𝑞 → 𝑝) ∧ (𝑟 ∧ 𝑞)] → (𝑟 ∨ 𝑞)

Premisas
P1: 𝑝 → ¬𝑟
P2: 𝑞 → 𝑝
P3: 𝑟 ∧ 𝑞
Conclusión: 𝑟 ∨ 𝑞

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

p. juego futbol
b: voy a bañarme
c: salgo a la calle
q. voy al parque
r. hace calor en la tarde

Si juego futbol en entonces no hace calor en la tarde. Si voy al parque entonces juego futbol.
Puesto que hace calor en la tarde y voy al parque. Por lo tanto, hace calor en la tarde o voy al
parque.

Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje

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

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

v v v f V f v v F v

v v f v V v v f F v

v f v f V f v f F v

v f f v F v v f F v

f v v f V v f v F v

f v f v V v f f F v

f f v f V v v f F v

f f f v F v v f F v

Resultado: Es una TAUTOLOGIA


Demostración de la validez del argumento mediante las leyes de la inferencia lógica:

𝑃1: (𝑝 → ¬𝑟)

𝑃2: (𝑞 → 𝑝)

𝑃3: (𝑟 ∧ 𝑞)

𝑃4: (𝑟) simplificación ( 𝑃3)

𝑃5: (𝑟 ∨ 𝑞) ley de adición (𝑃4)

𝐶𝑜𝑛𝑐𝑙𝑢𝑠𝑖ó𝑛: (𝑟 ∨ 𝑞)
CONCLUSIÓN

Con el desarrollo de este trabajo se cumple con los objetivos, en la resolución de

los ejercicios. La presente actividad contribuyó a fortalecer y aprender conceptos básicos y

prácticos de la unidad de estudio, también, el simulador nos aportó facilidades para la

verificación de los ejercicios de la tabla de la verdad.


REFERENCIAS BIBLIOGRÁFICAS

Alfred Tarski 1946 Introducción a la Lógica y a la Metodología de las Ciencias Deductivas


2.ªedición, reimpreso por Dover Publications, Mineola NY. ISBN 0-486-28462-X (pbk).
(en inglés) Modus tollendo ponens - Wikipedia, la enciclopedia
librehttps://es.wikipedia.org/wiki/Modus_tollendo_ponens

Herbert B. Enderton, 2001, Una introducción matemática a la segunda edición lógica,Harcourt


Academic Press, Burlington MA, ISBN 978-0-12-238452-3. (en ingles)Silogismo
hipotético - Wikipedia, la enciclopedia
librehttps://es.wikipedia.org/wiki/Silogismo_hipotético

lfred North Whitehead y Bertrand Russell 1927 Principia Mathematica a * 56 (Segundaedición)


edición de bolsillo 1962, Cambridge en University Press, Londres, Reino Unido.
SinISBN, sin LCCCN. (en ingles) Modus ponendo tollens - Wikipedia, la enciclopedia
librehttps://es.wikipedia.org/wiki/Modus_ponendo_tollens