Ingeniera de Sistemas y Computacin

Pregrado: ISIS1104L
Laboratorio Matemtica Estructural y Lgica
http://sistemas.uniandes.edu.co/~isis1104
2016-20

Laboratorio 1
Instrucciones
A continuacin encontrar mltiples ejercicios con diferente nivel de dificultad. Se recomienda
realizar el laboratorio antes de la fecha del primer parcial. Realice su entrega por Sicua+.
Fecha lmite: 9 Septiembre, 12m (medioda).
[1] (0.6 puntos) Demuestre la siguiente proposicin:
( ) ( ( ))
[2] (0.6 puntos) Considere el operador ternario A definido por el siguiente axioma:
: (, , ) ( )
Pruebe el siguiente teorema sin usar tablas de verdad:
( , , ) (, , )
[3] Suponga que queremos agregar el siguiente operador ternario al clculo proposicional:
(, ) ( ) ( )
a. (0.6 puntos) Demuestre las siguiente equivalencia,
(, )
b. (0.6 puntos) Demuestre que sera vlido agregar la siguiente regla de inferencia:
, (, )

[4] Suponga que queremos agregar el siguiente operador ternario al clculo proposicional:
(, ) ( )
a. (0.6 puntos) Demuestre o refute la siguiente implicacin,
( (, ))
[5] Traduzca el siguiente problema a expresiones lgicas. Para ello:
a. (0.05 puntos) Especifique cuales son las proposiciones simples presentes en este
argumento y defina variables que las representen.
b. (0.25 puntos) Use las definiciones de variables para modelar las oraciones del
argumento como expresiones de lgica proposicional.
c. (0.7 puntos) Demuestre que el argumento es correcto usando lgica
proposicional.
Indiana Jones se encuentra buscando el arca perdida. Indiana est en una encrucijada,
puede salvar a la seorita Marion o tomar un bote a la isla del arca perdida, pero no las
dos al mismo tiempo. Si Indiana Jones salva a la seorita Marion, entonces llegar despus
que el Mayor Toht al lugar donde est el arca perdida. Indiana Jones lleg primero que el

Mayor Toht al el arca perdida. Por lo tanto, Indiana Jones tom un bote para ir a la isla del
arca perdida.
Pista: El hecho de que Indiana llegue despus que el Mayor Toht al arca perdida es lo
mismo que Indiana no llegue antes que el Mayor Toht al arca perdida.

[6] Considere el siguiente problema:

Tenemos cuatro sospechosos de haber cometido un crimen: A, B, C y D. Se han podido
establecer los siguientes hechos:
- Si A es culpable, B fue su cmplice.
- Si B es culpable, entonces o C fue su cmplice o A es inocente.
- Si A es inocente o C es culpable, entonces D es culpable
- Si D es culpable, entonces tambin es culpable A.
Quieres fueron los culpables del robo?
Solucione el problema usando lgica proposicional. Para ello:
a. (0.05 puntos) Defina las variables para representar las proposiciones.
b. (0.25 puntos) Realice la traduccin del texto.
Opcional: Solucione el problema pensando, explique su razonamiento y exprese
su conclusin como una expresin lgica.
c. (0.7 puntos) Solucione el problema usando lgica proposicional.