LOGICA MATEMATICA

PASO 3

MÉTODOS PARA PROBAR VALIDEZ DE ARGUMENTOS

xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx

GRUPO: 90004_665

TUTOR:

xxxxxxxxxxxxxxxxxxxxxxxxxxxxx

PROGRAMA:

INGENIERÍA DE SISTEMAS

UNIVERSIDAD ABIERTA NACIONAL Y A DISTANCIA UNAD

xxxxxxxxxxxx

ABRIL 2018
 INTRUDUCCION

El siguiente trabajo tiene como fin esclarecer algunos términos de la logia proposicional
entre los que se encuentra Modus Ponendo Ponens, Adjunción Exportación que nos
ayudan a desarrollar algunos problemas de lógica de una forma más clara; además de
esto se demostraran los conocimientos adquiridos a la hora de pasar de un leguaje
textual a un lenguaje proposicional junto con el uso de los conectores lógicos y las
tablas de verdad y mostrar cuando se hace una deducción y cuando se hace una
inducción.
 OBJETIVO

Hacer uso de los conocimientos adquiridos en la materia de lógica matemática para

poder definir términos y resolver problemas que requieran el uso adecuado de todo lo
relacionado con la lógica.
Tarea 1: Conceptualización de las reglas de inferencia.

Socializar en el Foro diseñado para el desarrollo de la actividad la conceptualización y

dos ejemplos específicos (En caso de ser extraído por alguna fuente bibliográfica, se
debe citar correctamente empleando normas APA) de un grupo de las Reglas de
Inferencia Lógica.
 Modus Ponendo Ponens, Adjunción y Exportación.

Modus Ponendo Ponens

Es un condicional o implicación que establece la relación causa efecto entre dos

enunciados. Afirma que si el antecedente es verdadero entonces necesariamente se
afirma el consecuente. Por ejemplo:

p →q “Si llueve, entonces las calles se mojan” “Premisa”

p “Llueve” “Premisa”

q “Entonces, las calles se mojan” “Conclusión”

p →q “Si como, entonces creceré” “Premisa”

p “Como” “Premisa”

q “Entonces creceré” “Conclusión”

Adjunción

Si poseemos dos enunciados afirmados con dos premisas separadas, cuando se

adjuntan por el operador conjunción su conclusión será verdadera. Un ejemplo seria:
P “Juan es cocinero”

q “Pedro es policía”

pΛq “Juan es cocinero y Pedro es policía”

p “Ayer llovió”

q “hoy está lloviendo”

pΛq “ayer llovió y hoy está lloviendo”

Exportación

Si A, entonces B, entonces C, lógicamente es equivalente a: A y B entonces C

[(pΛq) → r ] ↔ [(p→(qVr)]

Ejemplo 1:

Si corro entonces, tengo velocidad luego avanzo; es equivalentemente lógico decir: Si

corro y tengo velocidad entonces avanzo

Ejemplo 2:

Si me enamoro entonces, amo luego me produce felicidad; es lógicamente equivalente

a: si me enamoro y amo, me producirá felicidad.
Tarea 2: Problemas de aplicación I

Solucionar los siguientes enunciados y demostrar la validez o no validez del argumento

dado a través de:

 Uso de las tablas de verdad.

 Uso de las reglas de inferencia.

 Uso del simulador Truth Table.

a) Los estudiantes del programa de Ingeniería de Alimentos de la UNAD, al

matricular el curso de Química General como electivo deben asistir al
componente práctico. Sofía hace el siguiente análisis de la situación que se le ha
presentado al conocer las fechas en que debe asistir. ”Si las prácticas de
laboratorio son el próximo domingo entonces asisto a la universidad. Si realizo los
experimentos entonces entrego el informe de laboratorio. Si asisto a la
universidad y entrego el informe de laboratorio, entonces obtengo un puntaje
sumativo para la nota. No obtengo un puntaje sumativo para la nota. Por lo
tanto, no realizo los experimentos o las prácticas de laboratorio no son el
próximo domingo.”

p Las prácticas de laboratorio son el domingo

q Asisto a la universidad

r Realizo los experimentos

s Entrego el informe de laboratorio

t Obtengo un puntaje sumativo para la nota

[[(p→q) Λ (r→s) Λ [(qΛs) →t] Λ ∼ t] → ( ∼ rV ∼ q)
Tabla de verdad
Simulador Truth Table
Tarea 3: Problemas de aplicación II

Expresar los siguientes enunciados en Lenguaje natural relacionada con la dinámica de

la Universidad de su rol como estudiante y demostrar la validez del argumento dado a
través de:

 Uso de las tablas de verdad.

 Uso de las reglas de inferencia.
 Uso del simulador Truth Table.

{ ( p →∼q ) ∧(∼ r → s) ∧(r → p)} →(∼ q ∨ s)

Simulador Truth Table

Tarea 4: Razonamiento Deductivo e Inductivo

Identifique de los siguientes casos si el razonamiento es deductivo o inductivo,

argumentado la respuesta con sus propias palabras

De todos los seres que pueblan la Tierra, los seres humanos son los más nocivos
para el ecosistema. En efecto, ellos destruyen anualmente millones de hectáreas de
bosques y son los directos culpables de la desaparición masiva de fuentes de agua
potable.

El razonamiento usado es deductivo ya que parte de la afirmación de que los seres

humanos son nocivos para el ecosistema, a partir de esta idea llega a otras más
específicas como lo son que destruyen millones de hectáreas y son los responsables de
la desaparición masiva de fuetes hídricas, si fuera inductivo a partir de estos casos
específicos llegaría a una idea general pero ocurre lo contrario.
 CONCLUSION

A partir de los conocimientos adquiridos en el curso de lógica matemática se pudieron

resolver problemas que requerían de uso adecuado del lenguaje matemático, de
conectores lógicos y de la capacidad de definir términos relacionados con la lógica y sus
distintos usos para distintos problemas.
 REFERENCIAS BIBLIOGRÁFICAS

 Castiblanco, G. C. C. Video. Recuperado de: https://www.youtube.com/watch?

v=KOQcYAJ1R-o&feature=youtu.be

 Chávez, C. P. (2000). Compendio de lógica. : Larousse - Grupo Editorial Patria.

Páginas 151- 162. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=166&docID=11046000&tm=1492518443951

 Cortez, O. J. M. (2017). Lógica matemática - Leyes de inferencia. Recuperado de:

https://www.youtube.com/watch?v=n00R0Z5dc08&feature=youtu.be

 Gonzáles, T. L., & Saavedra, M. (2009). Aciertos matemáticos 11: serie para la
educación media. Bogotá, CO: Educar Editores S.A. Páginas 13 -19 Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=14&docID=10345286&tm=1492518671601

 Guerrero, S. L. M. (2005). Matemáticas. Sus fundamentos en secuencia óptima.

Córdoba, AR: El Cid Editor. Páginas 24 – 34. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=24&docID=10075782&tm=1492518991513

 Milare. L. (2017). Razonamiento Inductivo y tarea 4. Recuperado de:

https://www.youtube.com/watch?v=7L_sC0onpXw&feature=youtu.be

 Ocho cifras (8CIFRAS) (2014). Leyes de Morgan. Recuperado de:

https://www.youtube.com/watch?v=DZc9SfZdWgg

 Rodríguez, H. J. E. OVI UNIDAD 2. Recuperado de:

https://www.youtube.com/watch?v=sYZ2cNN2Qig&feature=youtu.be
 Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. :
Larousse - Grupo Editorial Patria. Páginas 19 - 29. Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=30&docID=11013570&tm=1492518308189