USO DE LEYES DE INFERENCIA

FASE GRUPAL

PRESENTADO POR: MARIA ALEJANDRA VELASQUEZ ORTIZ

CODIGO: 1.078.777.832
ANA HAIDIVIS GUTIERREZ
FREDY HUMBERTO ALFONSO
CODIGO: 1.058.274.724
GRUPO: 206

CURSO: PENSAMIENTO LOGICO Y MATEMATICO

TUTOR: ADRIAN VALENCIA CUELLAR

UNIVERSIDAD ABIERTA Y A DISTANCIA UNAD

NEIVA-HUILA
27 DE JUNIO DEL 2017
 OBJETIVOS

Fortalecer los conceptos y temas adquiridos en las unidades de lgica

matemtica.

Demostrar la validez o no validez de situaciones problemicas por medio de

los principios de lgica.

Demostrar la validez o no validez de situaciones problemicas por medio de

las leyes de inferencia lgica.

Analizar y plantear una solucin grupal a la situacin problemica sugerida

en la gua.
 INTRODUCCION

En el desarrollo de este trabajo se ponen en prctica una serie de conceptos y

temticas desarrolladas a lo largo del curso de pensamiento lgico y matemtico,
entre las cuales se aplica la transicin del lenguaje natural al lenguaje simblico, la
identificacin de las premisas simples, la elaboracin de las tablas de verdad, el
uso del simulador Truth Table. La demostracin de la validez o no validez de un
planteamiento por medio de las leyes de inferencia y las formas de razonamiento
para proponer una formalizacin y resolucin a las situaciones problemicas.
 SITUACIN PROBLMICA DE LA INFERENCIA LGICA FASE GRUPAL

La Escuela de ciencias Bsicas Tecnologas e Ingenieras ECBTI de la

UNAD realiz como evento disciplinar unas Olimpiadas Matemticas
Virtuales. El Lder Nacional de la Escuela le ha informado al decano
Nacional de Escuela como fue la premiacin, el primer lugar recibir un
computador porttil, el segundo lugar recibir una Tablet y el tercer lugar
recibir una coleccin de libros de matemticas Schaun; para dicho fin el
lder Nacional hizo el siguiente razonamiento: Si Ximena se gan el
computador entonces Johan recibi la Tablet o Ricardo fue quien recibi la
Tablet. Si Ximena 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.

SOLUCION:

Anlisis del enunciado

Si Ximena se gano el computador entonces Johan recibi la Tablet o Ricardo fue

quien recibi la Tablet. Si Ximena 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 gano el computador. Por lo
tanto, Carlos no fue quien recibi la Tablet.

Declaracin Proposicin Simple:

P: Ximena se gano el computador

q: Johan recibi la Tablet

r: Ricardo fue quien recibi la Tablet

s: Ximena fue quien recibi la Tablet

t: Carlos fue quien recibi la Tablet

Declaraciones premisas en lenguaje formal:

Premisa 1: p (q r)

Premisa 2: s p

Premisa 3: (t r) p
 Conclusin: t

Declaracin de proposiciones compuestas:

Si p entonces q o r. Si s, entonces p. Si t entonces r. p. Por lo tanto, t

Tabla de verdad

p q r s t p r t p r
t

V V V V V F F F V F F V F
V V V V F F F V V F V V F
V V V F V F F F V V F V V
V V V F F F F V V V V V V
V V F V V F V F V F V V F
V V F V F F V V V F V V F
V V F F V F V F V V V V V
V V F F F F V V V V V V V
V F V V V F F F V F F V F
V F V V F F F V V F V V F
V F V F V F F F V V F V V
V F V F F F F V V V V V V
V F F V V F V F F F V F F
V F F V F F V V F F V F F
V F F F V F V F F V V F F
V F F F F F V V F V V F F
F V V V V V F F V V F V V
F V V V F V F V V V V V V
F V V F V V F F V V F V V
F V V F F V F V V V V V V
F V F V V V V F V V V V V
F V F V F V V V V V V V V
F V F F V V V F V V V V V
F V F F F V V V V V V V V
F F V V V V F F V V F V V
F F V V F V F V V V V V V
F F V F V V F F V V F V V
F F V F F V F V V V V V V
F F F V V V V F F V V V V
F F F V F V V V F V V V V
F F F F V V V F F V V V V
F F F F F V V V F V V V V

Verificacin con Truth Table

 CONCLUSIONES

Aplicamos conocimientos adquiridos en temticas anteriores, con la finalidad de

verificar bajo los conceptos y la teora de las leyes de inferencia, la posibilidad de
demostrar el problema propuesto mediante las leyes de inferencia. Analizamos en
grupo la situacin problemica sugerida en la gua por medio de las inferencias
lgicas y las leyes de inferencia planteando una solucin.
 REFERENCIAS BIBLIOGRAFICAS

https://es.m.wikipedia.org/wiki/Reglas_de_inferencia

https://es.scribd.com/mobile/doc/2545043/Algunos-ejemplos-y-ejercicios-de-
inferencia-logica

https://www.google.ae/amp/s/auladefilosofia.net/2008/10/25/ejercicios-resueltos-
de-tablas-de-verdad-y-formalizacion/amp/?espv=1

http://jaramillo0119.blogspot.com.co/2014/11/demostracion-directa-indirecta-y.html