1

Trabajo colaborativo – Momento Intermedio Paso 3 – Uso de las Reglas de Inferencia

Presentado por:

Conrado Oyuela

María Ximena Castillo

Deyvi Alejandro Bustos

Anggie Dissley Malambo

Grupo: 657

Presentado a:

Oscar Eduardo Vidal

Tutor

Universidad Nacional Abierta y a Distancia – UNAD

Escuela de Ciencias Sociales Artes y Humanidades – ECSAH

Psicología

Noviembre de 2016

Neiva
 2

Introducción

En esta fase colaborativa en donde tocamos el tema de reglas de inferencia o reglas de

transformación podemos apreciar como estos esquemas formales nos permiten identificar y
derivar formulas bien formadas es decir conclusiones a partir de otras premisas, en los ejercicios
anteriormente realizados podemos establecer como la inferencia es la forma básica en la que
obtenemos conclusiones en declaraciones establecidas, ya que un argumento basado en
tautologías o leyes lógicas representan métodos de razonamiento universalmente correctos, y su
validez únicamente depende de la manera en que las proposiciones intervienen y no de los
valores de verdad de las variables que contiene.
 3

Objetivos

General:

 Identificar y utilizar de forma clara las reglas de inferencia lógica por inducción y
deducción de razonamiento válidos.

Específicos:

 Identificar los diferentes tipos de inferencia lógica y sus respectivos símbolos para
realizar las tablas de verdad.

 Interpretar claramente un enunciado con dicho argumento de situación problémico y

demostrar su validez con tabla de verdad y a la vez utilizando las leyes de inferencia.
 4

Situación Problemática De La Inferencia Lógica Fase Grupal

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

evento disciplinar una Olimpiadas Matemáticas Virtuales. El Líder Nacional de la Escuela le ha
informado al decano Nacional de la 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.

Solución:
Para realizar el ejercicio en el simulador TRUTH debemos tener claro las premisas y sus
respectivos conectores lógicos. Luego los renombraremos de la siguiente manera.

p : Ximena se ganó el computador

q : Johan recibióla Tablet
r : Ricardo recibióla Table
t :Carlos recibióla Tablet

Luego si unimos las premisas con sus conectores lógicos tenemos.

[ ( p → ( q ∨r ) ¿∧ ( q → p ) ∧ ( s → r ) ∧ p ) ] → sAl realizarlo en el simulador TRUTH la tabla que nos

arroja es la siguiente:
 5

Según el resultado de la tabla podemos concluir que es una situación que en matemática lógica se
conoce con el nombre de tautología, por lo tanto el ejercicio está bien planteado y es correcto afirmar lo
del enunciado.
 Para demostrarlos por las leyes de inferencia vamos a sacar las premisas.

1) p1 : p → ( q ∨r )
2) p2 : q → p
3) p3 :s → r
4) p4 : p
5) c: s

6) p6 : p → r ∵ p1 y p2

p →(q ∨ r )
 6

q→ p
p →r

7) p7 :r ∵ p7 y p 4
p →r
p
r

8) p8 : s

s→ r
r
s
Por lo tanto llegamos a la conclusión aplicando las leyes de inferencia y podemos
concluir que es una tautología.

Conclusiones
 7

 Se logró identificar y utilizar en forma clara las reglas de inferencia lógica por inducción
y deducción en formulaciones y demostraciones de razonamientos válidos en situaciones
específicas.

 Se fortalecieron Conceptos de los procesos de demostración lógica y su clasificación:

directas e indirectas.

 Se Identificó y conceptualizo los diferentes tipos de leyes de inferencia lógica y sus

respectivas representaciones en las tablas de verdad.

 Con la correcta Interpretación de un enunciado tipo argumento de una situación

problémica del mundo real se desarrollo y demostró su validez a través de las tablas de
verdad y de las leyes de inferencia.

Bibliografía
 8

 Giraldo, J. (2016) Uso de las Leyes de Inferencia en la demostración de la validez de un

argumento. Recuperado de http://hdl.handle.net/10596/7964

 Lewin, R. (2011). La teoría de conjuntos y los fundamentos de la matemática. Chile:

Editorial ebooks Patagonia - J.C. Sáez Editor. http://www.ebrary.com. Recuperado:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10526962