ANEXO 2

SITUACIÓN PROBLÉMICA DE LA INFERENCIA LÓGICA

FASE GRUPAL
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.

P: Ximena se gano un computador

q: Johan recibió la Tablet
r: Ricardo fue quien recibió la Tablet
s: carlos no fue quien recibió la Tablet

DECLARACIONES COMPUESTAS
PREMISA 1: Si Ximena se ganó el computador entonces Johan recibió la
Tablet o Ricardo fue quien recibió la Tablet
PREMISA 2: Si Johan fue quien recibió la Tablet, entonces Ximena no
obtuvo como premio el computador.
PREMISA 3: Si Carlos fue quien recibió la Tablet entonces Ricardo no
fue quien recibió la Tablet.
4CONCLUSION: Ximena se ganó el computador. Por lo tanto, carlos no
fue quien recibió la Tablet.

PREMISA1 P > (qvr)

PREMISA 2 q >¬ p
PREMISA 3 s >¬ r
CONCLUSION p>¬s

DECLARCION EN LENGUAJE FORMAL

p> (q+r) ^ (q>~p) ^ (s>~r)> (p>~s)