Unidad 3: Paso 3 - Uso de las reglas de inferencia

Jesús Alberto Sánchez Saavedra

CC: 1101753294

John Edier Riaño

CC:15991151

Katherin Sánchez
CC: 1047971813

Carlos Hernán Quiñones

Jeisson Laverde

Zona occidente

Cead Medellín

Pensamiento lógico y Matemático

Universidad Nacional Abierta y a Distancia

Agosto 2 de 2017

Tutor
Hilder Moscote
 Objetivo General

Con éste trabajo se busca aprender a analizar, contextualizar y tener argumentos concretos

desde uso de las Leyes de Inferencia Proposiciones simples y compuestas, tablas de verdad,

métodos de demostración, razonamientos lógicos, inferencia lógica y argumentos lógicos.

Pero un propósito más general es el poder hacer uso del análisis o razonamiento

matemático en la solución de situaciones problemica y así poder pasar de un ambiente

empírico a uno más formal y estandarizado, haciendo uso del razonamiento lógico.

Objetivos Específicos

Identificar las Leyes de Inferencia y saber las respectivas aplicaciones y sus características.

Reconocer la utilidad que tiene las Leyes de Inferencia.

Hacer uso correcto de los conectivos lógicos para representar las proposiciones requeridas.

Aprender a hacer uso del lenguaje simbólico de las proposiciones.

Tener una orientación acerca de la validez del argumento.

Mostrar los diferentes tipos de demostraciones de la verdad.

Hacer uso adecuado de las tablas de verdad.

Introducción

El razonamiento lógico es un proceso mental en el cual interviene la aplicación de formas,

métodos y principios enmarcados en la calidez de algunas premisas que llevan a una

conclusión que pueden identificarse como verdad o no.

En este trabajo se expone la conceptualización y algunos ejemplos de demostración de Ley

de Adición y Tollendo Ponens y Demostración por Contraejemplo y por ultimo de presento

un problema de lógica matemática que consta de un enunciado que resulta mediante tablas

de verdad

Haremos uso de las leyes de inferencia sus herramientas, conceptos y teorías se demostrara

la verdad aplicados a problemas de la vida real

 Primera etapa

La Escuela de Ciencias Básicas Tecnologías e Ingenierías ECBTI de la UNAD realizó

como evento disciplinar unas Olimpiadas Matemáticas Virtuales. El Líder Nacional de la

Escuela le ha informado al Decano Nacional de Escuela como fue la premiación, el primer

lugar recibirá un computador portátil, el segundo lugar recibirá una Tablet y el tercer lugar

recibirá una colección de libros de matemáticas Schaun; para dicho fin el líder Nacional

hizo el siguiente razonamiento: “Si Ximena se ganó el computador entonces Johan

recibió la Tablet o Ricardo fue quien recibió la Tablet. Si Johan fue quien recibió la

Tablet, entonces Ximena no obtuvo como premio el computador. Si Carlos fue quien

recibió la Tablet entonces Ricardo no fue quien recibió la Tablet. Ximena se ganó el

computador. Por lo tanto, Carlos no fue quien recibió la Tablet.

P = Ximena gano el computador

Q = Johan recibió Tablet

R = Ricardo recibe Tablet

S= Ximena recibe Tablet

T= Carlos recibe Tablet

V V V V P

V V V V Q

F F V V R

F V F V S

F F F F ¬P

Cuarta Premisa (p→¬t)

Tercera premisa (t→¬r)
Segunda premisa (s→¬p)
Primera Premisa (p→q)˅r

Tabla 1 Tabla de la Verdad

V V F F ¬R

V F V F ¬S
[(p→q)˅r] )˄(s→¬p)˄(t→¬r)˄(p→¬t)

V V V V Q˅R

V F V V Q→¬P

V V V F S→¬R

V V V V P→QvR

V F V V P→QvR˄Q→¬P

V F V F Q→¬P˄S→¬R

V F V F P→QvR˄Q→¬P˄S→¬R

V F V F P→QvR˄Q→¬P˄S→¬R˄P

V V V V P→QvR˄Q→¬P˄S→¬R˄P→~S
F F F F F F F V V V V

F F F V V V V F F F F

F V V F F V V F F V V

V F V F V F V F V F V

V V V V V V V F F F F

V F F V V F F V V F F

F V F V F V F V F V F

F V V V V V V F F V V

V V V V V V V F F F F

V V F V V V F V V V F

V V V V V V V F F V V

V V V V V V V F F F F

V V F V V V F F F F F

V V F V V V F F F F F

F F F F F F F F F F F

V V V V V V V V V V V
 V

V
F

F
La figura 1 muestra la comprobación en la tabla de verdad dando como resultado una

TAUTOLOGIA por lo que el argumento es valido

En la ciudad de Pereira se ha creado un buffet de abogados entre cuatro amigos,
del cual Juan Arroyo y María Aguirre hacen parte; en cierta ocasión se generó una
discordia laboral por diferentes puntos de vista en el proceso de acompañamiento
legal a una persona sindicada de varios delitos; Juan ha asumido la defensa de
Alberto quien es la fuente de discordia con María. María ha decidido tomar
acciones radicales frente a lo ocurrido con Juan: “Si el cliente de Juan gana la
apelación, entonces María se retira del buffet de abogados. María se retira del
buffet de abogados si y sólo si Alberto el cliente de Juan no es llevado a prisión.
Por lo tanto, si el cliente de Juan gana la apelación, entonces no es llevado a
prisión”. Determinar con el uso de las dos formas de la tabla de verdad la validez
del razonamiento que hace María y hacerlo también con el uso de las leyes de
inferencia.

Desarrollo

Las proposiciones que nos entrega el problema son las siguientes:

 Si Alberto que es el cliente de Juan gana la apelación, entonces María se

retira del buffet de abogados.
 María se retira del buffet de abogados si y sólo si Alberto no es llevado a
prisión. Por lo tanto, si Alberto gana la apelación, entonces no es llevado a
prisión

p = Alberto gana la apelación

q = María se retira del buffet de abogados
r = Alberto es llevado a prisión

Y las premisas ya usando la notación de TRUTH tables son:

p>q
q = ~r
y la conclusión
p > ~r

Por regla de inferencia válida de la lógica proposicional, si se cumple p se cumple

q y por lo mismo si se cumple q se cumple ~r, por lo tanto si se cumple p se
cumple ~r.
Entonces el razonamiento está bien.
Ahora la hago por tabla de verdad aunque lo pedían lo primero.
Lo que debemos comprobar es:
[(p>q) & (q=~r)] > (p>~r)
La tabla de verdad es:

L expresión es una tautología, ósea que el razonamiento es correcto.

En TRUTH escribimos la expresión que se había indicado [(p>q) & (q=~r)] > (p>~r)
Con lo que se obtiene:

Que es igual a lo que se había obtenido.

Conclusiones

Se analizó las premisas que integran un problema, para diseñar la estrategia de solución,

aplicación las reglas de inferencia para llegar a la demostración solicitada, determinando

que la inferencia lógica da como resultado premisas, derivándose de ellas lógicamente, sus

respectivas conclusiones.

Se reforzó los conocimientos adquiridos en la anterior unidad al dar uso a las tablas de la

verdad, los principios de la lógica y los razonamientos lógicos.

Luego de realizar el análisis con las leyes de inferencia podemos obtener una verdad o

falsedad absoluta y fortaleciendo las competencias de esta unidad.

Se obtuvieron conclusiones lógicas en base a situaciones problémicas con datos y

declaraciones establecidas.

Sin darnos cuenta en casi todas las actividades cognitivas diarias usamos las leyes de la

inferencia y sin duda son de gran importancia para la solución de cualquier problema.
Referencias Bibliográficas

https://es.wikipedia.org/wiki/Modus_tollendo_ponens Se editó esta página por última vez

el 27 mar 2017 a las 23:32.
https://sites.google.com/site/cursomatematicasdiscretas/3-1-proposicion /
Ing. Sistemas Computacionales / Instituto Tecnológico Superior de Libres

https://es.wikipedia.org/wiki/Contraejemplo / Se editó esta página por última vez el 10 dic

2015 a las 23:05.

Zazueta B. L. Cálix L. C. (2008). "¿Qué es una tabla de verdad?" Lógica II. Primera
Edición. (pp. 91 – 197). México D.F., México: Universidad Autónoma de
Sinaloa. Recuperado
de: https://mega.nz/#!qNk2RRbZ!Z3Mlp2KoEr797vwAqovNMH9h2x8UQHsFqU8Ruqhs
S1E

Villalpando, B. J. F. (2000). "... como observa las proposiciones p y q". En ProQuest

(Ed). Matemáticas discretas: aplicaciones y ejercicios. (pp. 29 – 38). Guadalajara, México:
Larousse - Grupo Editorial Patria. Recuperado
de: http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11013570&p
pg=30

Rodríguez, V. R. (2013). "... El ser humano vive inmerso en la naturaleza". ProQuest (Ed).
Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. Volumen I:
conjuntos numéricos, complementos. (pp. 17-29). Madrid, España: Editorial Tébar
Flores. Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=18&docID=109956
29&tm=1489710145734