Anda di halaman 1dari 8

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