Lógica Matemática

Tarea 2 – Métodos para probar validez de argumentos

Presentado Por:
Ana Roció Rubiano Arévalo
CC. 20.923.301

Presentado A:

Andrés Franco Londoño

Universidad Nacional Abierta Y A Distancia

UNAD
2019
Introducción

Con este trabajó pude aprender y poner en práctica los conceptos de argumento, premisa,

conclusiones y leyes de inferencia. El razonamiento nos permite ampliar nuestros

conocimientos sin tener que apelar a la experiencia. También sirve para justificar o aportar

razones en favor de lo que conocemos o creemos conocer, un argumento es una prueba

utilizada para confirmar que algo es cierto o, por el contrario, para demostrar que se trata de

algo falso, una premisa es una o varias proposición simples o compuestas y a partir de las

cuales se extrae una conclusión lógica, Las reglas de inferencia son herramientas mediante

las que se puede extraer una conclusión de las premisas iniciales.

Objetivos

 Identificar en un argumento las diferentes premisas y sus conectores lógicos.

 Conocer y poner en practica las diferentes leyes de inferencia.

 Identificar las clases de razonamiento Deductivo e Inductivo.

 Realizar las tablas de verdad para llegar al resultado el cual debe ser una Tautología.
Ejercicio 1: Conceptualización de las reglas de inferencia
Ejercicio 2: Aplicación de las reglas de la inferencia Lógica
a. Si trabajo entonces tendré dinero. No tengo dinero.

Conclusión: No trabajo

Ley de inferencia aplicada: Modus Tollendo Tollens (MTT)

Lenguaje simbólico: p → q “Si trabajo entonces tendré dinero”

¬q “ No tengo dinero”

¬p No trabajo
 Ejercicio 3: Razonamiento Deductivo e Inductivo

a. Hace un tiempo, Juan, Miguel y Alejandro que son amigos, le prestaron dinero a

José, él no les pagó; ahora nuevamente José le pide a Miguel que le haga un

préstamo, inmediatamente Miguel asume que no le va pagar ese dinero.

Argumentación: El razonamiento utilizado es el Inductivo

El razonamiento inductivo es un razonamiento que consiste en obtener conclusiones

generales a partir de premisas que contienen datos particulares o individuales, la base de la

suposición de que algo que ocurrió en algunas ocasiones, en el caso del ejemplo ya hubo un

suceso similar anteriormente.

Ejercicio 4: Problemas de aplicación

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

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

•Proposiciones simples
p: Abril es un mes.
q: Jueves es un día de la semana.
r: El año tiene 52 semanas.
s: La semana tiene 7 días.

Razonamiento en lenguaje natural

Si el año tiene 52 semanas entonces jueves no es un día de la semana. Y abril es un mes O la

semana tiene 7 días. Y jueves es un día de la semana Y abril es un mes. Entonces el año No
tiene 52 semanas.

Generar la tabla de verdad manualmente (exel)

Generar la tabla de verdad con el simulador Lógica UNAD
Leyes De Inferencia
Premisas:
P1:𝑟 → ¬𝑞
P2:𝑝 ∨ 𝑠
P3: 𝑞 ∧ 𝑝
Conclusión: ¬𝑟

P4: 𝑝 simp-3 q∧ p O p∧ q
:. p :. q
Conclusiones
Referencias

 https://www.lucidchart.com/documents/edit/115409e3-d1dc-45c7-adfd-

97c976f252a2/0

 Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos.

Córdoba, AR: El Cid Editor. (pp. 40-49) Recuperado

dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=59&docI

D=10732485&tm=1492520387992

 https://www.ecured.cu/L%C3%B3gica_matem%C3%A1tica

 https://www.definicion.xyz/2017/05/razonamiento-logico.html

 Gutiérrez, J. (2016). Tutoría Unidad 2 Curso 90004. [Archivo de video].

Recuperado dehttp://hdl.handle.net/10596/6559

 https://campus35.unad.edu.co/ecbti49/mod/forum/discuss.php?d=9804

 https://www.youtube.com/watch?v=OuHYh1Xw5no