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

Declaración de proposiciones simples

p: Ximena se ganó el computador

q: Johan recibió la Tablet
r: Ricardo fue quien recibió la Tablet.
s:Carlos recibió la tablet

p →( q v r )
(q→ ¬ p)
(s→¬r)
(p → ¬ s)

Proposición compuesta

 [p→(qVr)Λ(q→¬p)Λ(s→¬r)]→(p→¬s)
  [p→(qVr)Λ(q→¬p)Λ(s→¬r)]→(p→¬s)

p q r S ¬ ¬ ¬ (qVr (q→¬p (s→¬r (p→¬s p→(qVr) p→(qVr)Λ(q→¬p [p→(qVr)Λ(q→¬p)Λ(s→¬r) [p→(qVr)Λ(q→¬p)Λ(s→¬r)]→(p→¬s)

) ) ) ) ) )
p r s
V V V V F F F V F F F V F F V
V V V F F F V V F V V V F F V
V V F V F V F V F V F V F F V
V V F F F V V V F V V V F F V
V F V V F F F V V F F V V F V
V F V F F F V V V V V V V V V
V F F V F V F F V V F F F F V
V F F F F V V F V V V F F F V
F V V V V F F V V F V V V F V
F V V F V F V V V V V V V V V
F V F V V V F V V F V V V F V
F V F F V V V V V V V V V V V
F F V V V F F V V F V V V F V
F F V F V F V V V V V V V V V
F F F V V V F F V V V V V V V
F F F F V V V F V V V V V V V

Comprobación por ley de inferencia

 P1. Si Ximena se ganó el computador entonces Johan recibió la Tablet o
Ricardo fue quien recibió la Tablet.
P2. Si Johan fue quien recibió la Tablet, entonces Ximena no obtuvo
como premio el computador.
P3. Si Carlos fue quien recibió la Tablet entonces Ricardo no fue quien
recibió la Tablet.
C. Ximena se ganó el computador. Por lo tanto, Carlos no fue quien
recibió la Tablet.

Premisa 1. p →( q v r )

MTTModustollendotollens

p →(qvr)

¬(qvr)

-----

¬p

Premisa 2. (q→ ¬ p)

MPP Modus ponendoponens

q→¬ p

-----

¬p

Premisa 3. ( s → ¬ r )

MPP Modus ponendoponens

s→¬ r

-----

¬r

Conclusión. (p → ¬ s)
MPP Modus ponendoponens

P→¬ s

-----

¬s