SITUACION PROBLEMTICA DE LA INFRENCIA LOGICA

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 gano el computador

Q: Johan recibi la Tablet
R: Ricardo gano la Tablet
S: Carlos gano la tablet

Premisas
P 1: p (q r)
P 2: q p
P 3: s r
P4:

C: s

[(P Q R) (Q P) (S R) P ] S
P

P (Q R)

(Q P)

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

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

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

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

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

F
F
F
F
F
F
F
F
F
V
V
V
F
V
f
V

(S R)
P
F
V
V
V
F
V
V
V
F
V
V
V
F
V
V
V

S
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V

[(P Q R) (Q P) (S R) P ]
S

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V