Interpretación, planteamiento y la solución del enunciado problémico de la demostración de la validez de un argumento lógico

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

Resolver mediante: las reglas de inferencia