Métodos para probar validez y argumentos

Unidad 2 Razonamientos Lógicos

Wadeth Varela Coronado
32799867
John Jairo Leiva
411

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Administración de Empresas
CCAV Puerto Colombia
2019
 INTRODUCCION ii
En este documento se va a desarrollar 4 ejercicios en donde se aplica la lógica matemática, se va
a identificar las preposiciones simples y compuestas, tablas de verdad manual y generada por el
simulador que se encuentra en la unidad 2, se van a desarrollar la conceptualización de las leyes
de inferencias en cuya lectura que realizare donde haré un resumen de los conceptos básicos de
cada uno en un mapa conceptual, se aplicara las leyes de inferencia explicando con mis propias
palabras lo que me resulta en las leyes de inferencia y razonamiento lógicos y por ultimo
desarrollare un último ejercicio donde aplicare toda la unidad 2 vistas y realizadas en los
ejercicios anteriores
 OBJETIVOS iii
 Realizar un mapa conceptual con los conocimientos básicos de lógica matemática.
 Aplicar las leyes de inferencia en el argumento en el ejercicio 2.
 Deducir en el ejercicio 3 el razonamiento si es deductivo o inductivo y explicarlos con
mis propias palabras.
 Definir las preposiciones simples.
 remplazar las variables expresadas y llevarlas a lenguaje natural.
 Generar tablas de verdad una manual y una con el simulador.
 Demostrar el argumento mediante las leyes de la inferencia lógica.
 Desarrollo iv
Ejercicio 1: Conceptualización de las reglas de inferencia

Logica matematica

la logica matematica es la
disciplina que trata de metodos
de reconocimiento, proporciona
Leyes de Inferencia Lògica Razonamiento Logico
tecnicas y reglas para
determinar si es valido o no un
argumento

Modus Ponendo Ponen (MPP)

Es un proceso mental que
Modus Tollendo Telles (MTT) Una regla de inferencia es una implica la aplicacion de la lògica Razonamiento Inductivo
Doble Negaciòn (DN) forma lògica que consiste o Razonomaniento Deductivo , a partir de este se pueden (donde interviene la
demuestra las condiciones y (estrictamente Lògico) partir varias premisas probabilidad y la formacion de
Adjuncion y Simplificaciôn (A) premisas con casos realis
(S) Eisten dos tipos de conjeturas
Razonamientos Lògicos
Ley de la Adiccion (LA)
Silogismo Hipotetico (SH)
Silogismo Disyuntivo (DS)
Simplificacion Disyuntiva (SD)
Ley Conmutativa (LC)
Tollendo Pones (TP)
 1

Ejercicio 2: Aplicación le da las reglas de la Inferencia Lógica

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
 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

a. Si trabajo entonces tendré dinero. No tengo dinero

P1: p→ 𝑞: si trabajo no tengo dinero
P2: ¬ q: no tengo dinero
_______
¬p

Conclusión: No trabajo. No tendré dinero

Ley de Inferencia aplicada: Modus Tollendo Tollens (MTT)
Lenguaje Simbólico: ¬p
p→ 𝑞
¬q
C: ¬ p
 2

Ejercicio 3: Razonamiento Deductivo e Inductivo

A partir del razonamiento que haya seleccionado, deberá dar respuesta a los siguientes
ítems
 Identificar si el razonamiento es deductivo o inductivo
 Argumentar las respuestas con sus propias palabras

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
RTA: el argumento del texto es inductivo, ya que Juan, Miguel y Alejandro le prestaron
dinero a José y no le pago, y como José volvió a decirles que le volvieran a prestar dinero
nuevamente, estos dedujeron por su experiencia pasada con él, que en este nuevo préstamo
tampoco no les va a pagar.
 3

Ejercicio 4: Problemas de aplicación

A continuación, encontrara, la expresión simbólica, las premisas y la conclusión de un
argumento para el desarrollo 4

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

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

Conclusión: ¬𝑟

Definir las proposiciones simples

 p: Los niños juegan futbol
 q: los niños viven en Barranquilla
 r: la escuela tiene sede en Barranquilla
 S: los niños viajan a entrenar futbol en Barranquilla
Razonamiento en lenguaje natural
La escuela de futbol tiene sede en Barranquilla entonces los niños no viven en
Barranquilla. Los niños juegan futbol o los niños viajan a entrenar futbol en
Barranquilla. Los niños viven en Barranquilla y los niños juegan futbol entonces la
escuela no tiene sede en Barranquilla
 4

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 s (r → ¬q) [(r→¬q)∧(p∨ s)∧(q∧ p)] [(r→¬q)∧(p∨ s)∧(q∧ p)]→¬r

v v v v f f f v v f f v
v v v f f f f v v f f v
v v f v f v v v v v v v
v v f f f v v v v v v v
v f v v v f v v f v f v
v f v f v f v v f v f v
v f f v v v v v f v f v
v f f f v v v v f v f v
f v v v f f f v f f f v
f v v f f f f f f f f v
f v f v f v v v f v f v
f v f f f v v f f f f v
f f v v v f v v f v f v
f f v f v f v f f f f v
f f f v v v v v f v f v
f f f f v v v f f f f v

Resultado de la tabla de verdad: Tautología

 5

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

P1:( 𝑟 → ¬𝑞): - La escuela de futbol tiene sede en Barranquilla entonces los niños no
viven en Barranquilla
P2:( 𝑝 ∨ 𝑠): - Los niños juegan futbol o los niños viajan a entrenar futbol en
Barranquilla
P3: (𝑞 ∧ 𝑝) - Los niños viven en Barranquilla y los niños juegan futbol
__________
C:¬𝑟 - Entonces la escuela no tiene sede en Barranquilla

Conclusión: la escuela no tiene sede en Barranquilla.

Leyes de inferencia Lògica: Modus Tonendo Tollens (MTT).
Lenguaje simbolico: ¬𝑟
𝑟 → ¬𝑞
q
C.: ¬𝑟

Demostraciòn por leyes de Inferencia Lògica

Premisa 1: 𝑟 → ¬𝑞
Premisa 2: 𝑝 ∨ 𝑠
Premisa 3: (𝑞 ∧ 𝑝)
__________________
Premise 4: q simplificaciòn
Premise 5: 1 Modus Tollendo Tollens

Conclusion:
𝑟 → ¬𝑞
q
C: ¬𝑟
 6

CONCLUSIONES

En el primer ejercicio se logró identificar los principales conceptos de la Lógica

Matemática expuesto en un mapa conceptual ayudándonos a enfocar como se deben de
realizar cada ejercicio que se presenta en este trabajo.

En el ejercicio se logró identificar en el argumento las leyes de la lógica matemática y se

expresa en un lenguaje simbólico para así poder tener una mejor idea del ejercicio y
poder realizarlo.

En el ejercicio 3 se analizó el argumento dado y se define qué clase de razonamiento se

utiliza en la lógica matemática explicando su contexto con mis propias palabras.

Ejercicio 4se realizó las leyes de la lógica identificando sus proposiciones simples
aplicada en el ejercicio llevándolo el lenguaje simbólico al lenguaje natural y transmitirlo
a la tabla de verdad, demostrando su validez en las leyes de inferencia de la lógica
matemática

Se concluye que este trabajo nos deja como enseñanza, que tanto las leyes de inferencia y
sus razonamientos son necesarios para poder realizar un ejercicio y transmitirlo en su
tabla de verdad en todos los aspectos que nos pueda ayudar, ya que inconscientemente
nuestro razonamiento las utiliza en cada caso que se nos presente.
 7

BIBLIOGRAFIA

 Villalpando, B. J. F. (2014). Matemáticas discretas:

aplicaciones y ejercicios: Larousse - Grupo Editorial Patria.
(pp. 29-38)
 Chávez, C. P. (2000). Compendio de lógica: Larousse -
Grupo Editorial Patria. (pp. 163-166)
 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)
 Gutiérrez, J. (2016). Tutoría Unidad 2 Curso 90004.
[Archivo de video]
 Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas
básicos. Distrito Federal, MÉXICO: Grupo Editorial Patria.
(pp. 80-84).
 Castaño, C. (2016). Razonamientos Lógicos. [Archivo de
video]
http://logicamatebasic.blogspot.com/2010/05/introduccion-ala-logica-
matematica.htm
https://blogs.ua.es/epsua10/2010/09/25/conceptos-basicos-de-la-logica-de-primer-
orden/https://definicion.de/razonamiento-logico/
http://rosmirofuentesrocha.weebly.com/uploads/6/2/7/4/6274527/deduccion_prop
osicional.pdf