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.

OBJETIVOS
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.

ANEXO 2 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.
Anlisis 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 premisas
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
P1: p (q r)
P2: s p
P3: (tr) 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

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

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

qr

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

s p

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
V

t r

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

qr
p ( ( s p )

p (q r )

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

F
F

F
F

F
F

F
F

V
F

V
V

V
V

F
V

F
F

V
V

V
V

V
V

V
V

qr

p ( ( s p ) (t r ) p

qr
p ( ( s p ) ( t r )

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

q r

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

{
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

Contingencia: Se entiende por verdad contingente, o verdad de hecho, aquella proposicin

que puede ser verdadera o falsa, (combinacin entre tautologa y contradiccin) segn los
valores de las proposiciones que la integran. Sea el caso
-Una proposicin por contingencia no es posible demostrarla por leyes de inferencia