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.

Solucin:
Preposiciones simples.
P: Ximena gana el computador
Q: Johan recibe tablet
R: Ricardo recibe tablet
S: Ximena recibe tablet
T: Carlos recibi la tablet

Premisas:
Premisa 1: P (Q R); si Ximena se gana el computador, entonces Johan o Ricardo recibi la tablet.
Premisa 2: S~P; si Ximena se gana la tablet, entonces no recibe el computador.
Premisa 3: T~ R; si Carlos recibe la tablet, entonces Ricardo no recibe la tablet.
Premisa 4: P; Ximena recibe el computador
Conclusin: ~T; Carlos no recibe la tablet.
Razonamiento
{[P (Q R)] (S ~P) [(T ~ R)] P} ~T
Demostracin con tablas de verdad
Si n= nmero de preposiciones simples, entonces:
n=5;
Ahora 2 = No de valores de verdad, entonces
25 = 32

[P (S (T {[P (Q R)] (S ~P) {[P (Q R)] (S ~P) [(T ~ R)]

Q R S T ~P ~R ~T (Q R)
P (Q R)] ~P) ~ R) [(T ~ R)] P} P} ~T

V V V V V F F F V V F F F V
V V V V F F F V V V F V F V
V V V F V F F F V V V F F V
V V V F F F F V V V V V V V
V V F V V F V F V V F V F V
V V F V F F V V V V F V F V
V V F F V F V F V V V V V F
V V F F F F V V V V V V V V
V F V V V F F F V V F F F V
V F V V F F F V V V F V F V
V F V F V F F F V V V F F V
V F V F F F F V V V V V V V
V F F V V F V F F F F V F V
V F F V F F V V F F F V F V
V F F F V F V F F F V V F V
V F F F F F V V F F V V F V
F V V V V V F F V V V F F V
F V V V F V F V V V V V F V
F V V F V V F F V V V F F V
F V V F F V F V V V V V F V
F V F V V V V F V V V V F V
F V F V F V V V V V V V F V
F V F F V V V F V V V V F V
F V F F F V V V V V V V F V
F F V V V V F F V V V F F V
F F V V F V F V V V V V F V
F F V F V V F F V V V F F V
F F V F F V F V V V V V F V
F F F V V V V F F V V V F V
F F F V F V V V F V V V F V
F F F F V V V F F V V V F V
F F F F F V V V F V V V F V
ES UNA CONTRADICCION.