Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Examen
Examen
Apellido y nombre:
Legajo:
Los alumnos regulares que obtuvieron 7 puntos o más en el parcial deben completar solamente la parte A.
Puntaje: (1): 1p.; (2): 1p.; (3): 1p.; (4): 3p.; (5): 1p.; (6): 1p.; (7): 2p.
Los alumnos regulares que obtuvieron menos de 7 puntos en el parcial deben completar la parte A y la parte B. Puntaje: (1): 1p.; (2):
1p.; (3): 1p.; (4): 3p.; (5): 1p.; (6): 1p.; (7): 2p. La parte B vale 1p.que se suma o se resta a la parte A. Puntaje mínimo para aprobar: 4p.
en la parte A.
PARTE A
(1) Traduzca las siguientes oraciones al lenguaje de la Lógica de Predicados y especifique el diccionario empleado.
(a) Los empleados y los clientes buscaban al gerente de personal.
(b) Todos los asistentes al congreso recibieron una acreditación pero ninguno pagó la inscripción.
(2) Traduzca las siguientes fórmulas de la Lógica de Predicados al lenguaje natural:
Diccionario: Dominio: ciudades; Cx: x es capital; Px: x es cabecera de partido; Nxy: x es más grande que y; m: Mercedes.
(a) xy((Px Cy) → Nxy) (b) x(Cx Nxm) (c) Cm Pm
(3) Dadas las siguientes fórmulas indique si son proposiciones o funciones proposicionales. En caso de que sean funciones
proposicionales transfórmelas en proposiciones:
(a) yxFxy zFzy (b) xyzFxy Faz (c) xx(Fzy yFax)
OM
(4) Demuestre la siguiente afirmación realizando la Deducción Natural en el sentido indicado por ⊣ y construyendo un
contramodelo en el sentido indicado por ⊭ :
x(Ax → Bx) ⊣ ⊭ xAx → xBx
(5) Determine mediante un diagrama de Venn si un silogismo AEE de la segunda figura (Todo P es M; Ningún S es M / Ningún S es P)
es válido o inválido.
(6) Determine las propiedades (respecto de reflexividad, simetría, transitividad y conexidad) de la relación “tener más o la misma
población que” en el conjunto de todas las ciudades del mundo.
.C
(7) Indique si las siguientes afirmaciones son verdaderas o falsas y justifique su respuesta (tanto en caso de que sea verdadera como
en caso de que sea falsa):
(a) Si la conclusión de un razonamiento válido es falsa, sus premisas no pueden ser todas verdaderas.
(b) La lógica proposicional intuicionista contiene a la lógica proposicional minimal.
DD
(c) La lógica de predicados es incompleta pero decidible.
(d) El lenguaje de la lógica proposicional es completo funcional.
PARTE B
(a) Traduzca el siguiente argumento a la Lógica Proposicional:
No es posible abordar el bote dado que o bien es condición necesaria que haya buenas condiciones climáticas para poder abordarlo o
bien sólo si hay lugar disponible se puede abordar el bote. Sin embargo, es cierto que no hay lugar disponible ni las condiciones
LA
OM
en el sentido indicado por ⊭ :
xAx → xBx ⊣ ⊭ x(Ax → Bx)
(5) Determine mediante un diagrama de Venn si un silogismo EAE de la segunda figura (Ningún P es M; Todo S es M / Ningún S es P) es
válido o inválido.
(6) Determine las propiedades (respecto de reflexividad, simetría, transitividad y conexidad) de la relación “tener más o la misma
población que” en el conjunto de todas las ciudades del mundo.
(7) Indique si las siguientes afirmaciones son verdaderas o falsas y justifique su respuesta (tanto en caso de que sea verdadera como en
.C
caso de que sea falsa):
(a) Hay varios métodos para decidir validez en lógica proposicional.
(b) Es necesario que haya un dominio con al menos 2 individuos para que una relación pueda ser simétrica.
(c) Un sistema indecidible puede ser completo.
DD
(d) La verdad de premisas y conclusión no garantiza la validez de un argumento.
PARTE B
(a) Traduzca el siguiente argumento a la Lógica Proposicional:
No es posible abordar el bote dado que o bien es condición necesaria que haya buenas condiciones climáticas para poder abordarlo o
bien sólo si hay lugar disponible se puede abordar el bote. Sin embargo, es cierto que no hay lugar disponible ni las condiciones
climáticas son buenas.
LA