1

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

 2

Declaracin de premisas
Premisa 1: ()

Premisa 2:

Premisa 3: ( )

Conclusin:

Declaracin de proposiciones compuestas

Si p entonces q o r. Si s, entonces p. Si t entonces r. p. Por lo tanto, t
{[( ())( )( )]}
Verificacin en la tabla de la verdad
p q r s 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
 3

( ())( )( ) [( ())( )( )] {[( ())( )( )]}

F F V
F F V
F F V
V V V
F F V
F F V
V V F
V V V
F F V
F F V
F F V
V V V
F F V
F F V
F F V
F F V
F F V
V F V
F F V
V F V
V F V
V F V
V F V
V F V
F F V
V F V
F F V
V F V
V F V
V F V
V F V
V F V
 4

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

 5

Conclusin

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