Inferencia lgica

Actividad Colaborativa Fase 2

Santiago Cadavid Gomez

Sergio Andrs Trujillo Tovar

Licenciado en Matemtica
Grupo 200611_35

Pensamiento Lgico y Matemtico

Universidad Nacional Abierta y a Distancia (UNAD)

Ingeniera de Telecomunicaciones
Medelln
2016

Tabla de Contenidos
Introduccin............................................................................................................................3
Objetivo General.................................................................................................................3
Objetivos especficos..........................................................................................................3
Proceso operativo para la solucin del problema....................................................................4
Analisis del enunciado........................................................................................................4
Declaracin de proposiciones.............................................................................................4
Declaracin de premisas.....................................................................................................5
Declaracin de proposiciones compuestas..........................................................................5
Verificacin en la tabla de la verdad...................................................................................5
Conclusiones...........................................................................................................................8
Referencias..............................................................................................................................9

Introduccin
En el desarrollo de este documento, se encuentra la solucin al problema planteado en el anexo
dos de fase dos del trabajo colaborativo para la unidad tres, en donde se propone que sea
demostrado por medio del uso de tablas de verdad, verificando si es vlido para ser demostrado a
travs de leyes de inferencia.
Objetivo General
Aplicar conocimientos adquiridos en temticas anteriores, con la finalidad de verificar bajos los
conceptos y la teora de las leyes de inferencia, la posibilidad de demostrar si el problema
propuesto mediante las leyes de inferencia.
Objetivos especficos

Analizar el enunciado para identificar las proposiciones.

Declarar las proposiciones de tal modo que se puedan luego declarar las proposiciones

compuestas.
Verificar a travs de la tabla de la verdad si el problema planteado puede ser demostrado a travs
de las leyes de inferencia.

Proceso operativo para la solucin del problema

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.

Analisis del enunciado

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

Declaracin de proposiciones

Ximena se gan el computador

Johan recibi la Tablet
Ricardo fue quien recibi la Tablet
Ximena fue quien recibi la Tablet
Ximena no obtuvo como premio el computador
Carlos fue quien recibi la Tablet
Ricardo no fue quien recibi la Tablet
Carlos no fue quien recibi la Tablet

p: Ximena se gan 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

Declaracin de premisas
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
q r

p ( ( s p ) (t r ) p } t

{
Verificacin en la tabla de la verdad
p

q r s p t r p (q r )

qr
p ( ( s p )

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

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

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

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

V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
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
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V

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

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

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

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

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

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

F
F
F

F
F
F

F
F
F

V
F
F

F
V
F

V
V
V

V
V
V

V
F
V

F
F
F

V
V
V

V
V
V

V
V
V

V
V
V

qr
qr
q r

p ( ( s p ) ( t r )
p ( ( s p ) (t r ) p
p ( ( s p ) (t r ) p } t

{
F
F
F
V
F
F
V
V
F
F
F
V
F
F
F
F
F
V
F
V
V
V
V
V
F
V
F
V
V
V
V
V

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

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

Razonamiento de contingencia no es posible demostrarlo por leyes de inferencia.

Conclusiones

Se encuentra que al no ser vlido el razonamiento dado a que corresponde a un

razonamiento de contingencia, no es posible realizar la comprobacin por medio de leyes
de inferencia, para que tenga sentido el requisito de preservacin de validez, debe ser un

razonamiento valido.
Al igual que en trabajos pasados, es muy til la informacin y procedimientos que se
pueden obtener mediante la documentacin interactiva que se proporciona para la unidad,
haciendo referencia al siguiente material Giraldo, J. (2016) Uso de las Leyes de
Inferencia en la demostracin de la validez de un argumento. Recuperado de
http://hdl.handle.net/10596/7964

Referencias
Bustamante A. A. (2009). Lgica y Argumentacin: De los argumentos inductivos a las lgebras
de Boole. 1. Edicin. Mxico: Editorial Pearson. (pp. 9-54). Recuperado de:
http://hdl.handle.net/10596/7960
Zazueta B. L. Clix L. C. (2008). Lgica II. Primera Edicin. Mxico: Universidad autnoma de
Sinaloa. (pp. 91 197). Recuperado de: http://hdl.handle.net/10596/7963
Villalpando, B. J. F. (2000). Matemticas discretas: aplicaciones y ejercicios. Larousse - Grupo
Editorial Patria. (pp. 29 38). Recuperado de: http://hdl.handle.net/10596/6544 Giraldo,
J. (2016) Uso de las Leyes de Inferencia en la demostracin de la validez de un
argumento. Recuperado de http://hdl.handle.net/10596/7964