Momento Intermedio Paso 3 – Uso de las Reglas de Inferencia

Fase grupal

María Fernanda Rosso Patiño

Yurbey Angarita

Lineth Katherine Trillos

Noreiny Santiago

Angie Julieth Jácome

Curso: 294

Tutora:

Delfina Reyes

Universidad Nacional Abierta y a Distancia

Pensamiento Lógico y Matemático

Programa de Psicología

Ocaña

28 de noviembre de 2016
 Objetivos

 Con el presente trabajo se trata que el estudiante aprenda hacer uso de conceptos básicos
de la lógica matemática aplicados a problemas de la vida diaria.

 Conocer los tipos de reglas de inferencia existentes y su adecuado uso.

 Ampliar y conocer los procedimientos operativos necesarios para llegar a la solución de

problemas mediante el uso de las tablas de verdad y las reglas de inferencia.
 Introducción

En el presente trabajo se podrá demostrar a través de un ejercicio como hacer un debido uso
de las reglas de inferencia lógica en un problema que puede llegar hacer cotidiano y se logra
comprobar su veracidad a través del uso de las tablas de verdad gracias al simulados TRUTH.

Gracias a las reglas de inferencia podemos llegar a dar conclusiones lógicas, bien elaboradas y
validas a partir de otras premisas.

Una regla de inferencia, o regla de transformación es una forma lógica que consiste en una
función que toma premisas, analiza su sintaxis, y devuelve conclusiones, estas son usadas
continuamente en el lenguaje natural. Las usamos para obtener conclusiones que consideramos
normalmente válidas.
 Situación problemática de la inferencia lógica-Anexo 2

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.

Solución:

Para la solución del problema del anexo 2 se identificaron cada una de las premisas y cada una
fue denotada con una letra, además fueron también identificados cada uno de los conectores para
luego proceder a organizarlos a ambos y separarlos por medio de paréntesis, corchetes y llaves
los cuales son ubicados de tal forma que den lógica a la expresión planteada y concuerden con lo
que se dice en el enunciado.

Después de haber interpretado el enunciado se procede a formular el planteamiento quedando

de la siguiente manera:

{[p > (q v r)] Λ (q > ¬p) Λ (s > ¬r) Λ p} > ¬s

 Tabla de verdad:

p q r s ¬s qv q>¬p s>¬r p> (q v [p > (q v r)] Λ (q > ¬p) {[p > (q v r)] Λ (q > ¬p)
r r) Λ (s>¬r) Λ p Λ (s > ¬r) Λ p} > ¬s
V V V V F V F F V F V
V V V F V V F V V F V
V V F V F V F V V F V
V V F F V V F V V F V
V F V V F V V F V F V
V F V F V V V V V V V
V F F V F F V V F F V
V F F F V F V V F F V
F V V V F V V F V F V
F V V F V V V V V F V
F V F V F V V V V F V
F V F F V V V V V F V
F F V V F V V F V F V
F F V F V V V V V F V
F F F V F F V V V F V
F F F F V F V V V F V

El resultado del enunciado que se planteó a través de la tabla de verdad es una:

Tautología(T), y esto nos indica que este tiene valides.

Comprobación del simulador TRUTH

 Valides del enunciado a través de las leyes de inferencia.

{[p > (q v r)] Λ (q > ¬p) Λ (s > ¬r) Λ p} > ¬s

P1: p > (q v r) aplicamos (PP) y en conclusión obtenemos C: q v r

P2: q > ¬p aplicamos (TT) y en conclusión obtenemos C: ¬q

P3: s > ¬r al igual que la premisa anterior aplicamos (TT) y en conclusión obtenemos C: ¬s

P4: p

C: ¬s

Al utilizar las leyes de inferencia se pudo llegar a la conclusión del enunciado, esto nos indica
y confirma su validez.
 Conclusiones

Esta actividad nos permitió consolidar aun as los conocimientos adquiridos sobre las leyes de
inferencia poniéndolas en práctica.

Se trabajó en un problema para buscar su respectiva solución poniendo en práctica las leyes de
inferencia lógica.

Se aplicaron las leyes de inferencia demostrando su valides a través de las tablas de verdad.
 Bibliografía

Bustamante A. A. (2009). Lógica y Argumentación: De los argumentos inductivos a las álgebras

de Boole. 1º. Edición. México, Editorial Pearson. Páginas 9-54. Recuperado de:

http://hdl.handle.net/10596/7960 url de origen: http://es.slideshare.net/gollolarios/logica-

yargumentacion-48589590

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

Villalpando, B. J. F. (2000). Matemáticas discretas: aplicaciones y ejercicios. Larousse - Grupo

Editorial Patria. Páginas 29 – 38. Recuperado de: http://hdl.handle.net/10596/6544

Zazueta B. L. Cálix L. C. (2008). Lógica II. Primera Edición. México Universidad autónoma de

Sinaloa. Páginas 91 – 197. Recuperado de: http://hdl.handle.net/10596/7963 url de origen:

https://mega.nz/#!qNk2RRbZ!Z3Mlp2KoEr797vwAqovNMH9h2x8UQHsFq

U8RuqhsS1E