MODELOS DE PRIMER PARCIAL

LA NOTACION LOGICA

- Simbolice en LPO los siguientes enunciados:

(a) Para que Venus sea un cuerpo celeste que emite luz propia es condición suficiente que sea un planeta y
que gire alrededor del sol.
(b) No es cierto que algunos astrofísicos que trabajan en el IAFE estudian cualquier cuerpo celeste.
(c) No todo planeta gira alrededor de algo si hay planetas que giran alrededor de sí mismos.
Y Simbolice en LPO el siguiente razonamiento:
(d) Algo gira alrededor del sol o de la luna, ya que todo planeta gira alrededor del sol y Venus y Júpiter son
planetas.

- (a) Caracterice la noción de validez deductiva. (b) Simbolice el siguiente razonamiento: Todo cheque
depositado en cualquier cajero automático es válido a condición de que esté firmado. Algún cheque
depositado en el cajero automático ABB-371 está firmado. Por lo tanto, hay al menos un cheque depositado
en el cajero automático ABB-371 que es válido.

TURING

- (a) Caracterice el concepto de información semántica. (b) Defina función computable en términos del
concepto de máquina de Turing y (c) proporcione un ejemplo de función computable.
- (a) De un ejemplo sencillo de función computable y caracterice la noción de computabilidad en términos
de maquina de Turing. (b) Describa en qué consiste una máquina de Turing.
-(a) Enuncie la tesis Church-Turing, y (b) indique brevemente la función que cumple, en consecuencia, el
concepto de Máquina de Turing respecto de la computabilidad.

LPO

- (a) Muestre que la expresión ((¬ $y(Sa Ù Ray)) ® (¬"y(Qa Ù Ray))) es una fórmulas de LPO. (b)
Caracterice la noción de fórmula de LPO. (c) Explique por qué el concepto de fórmula de LPO es efectivo.

METODO DE DEDUCCION NATURAL

- Dado el razonamiento (*) muestre que hay una derivación de su conclusión a partir de las premisas. (b)
Caracterice la noción de regla de inferencia lógica.
(*)
∀x (Px → Qx)
∀x (Px∧Sx)
__________
(¬Ra) v (∃xQx)

-Dado el razonamiento (**) muestre que hay una derivación de su conclusión a partir de las premisas. (b)
Caracterice la noción de derivación o deducción formal e indique por qué el proceso de deducción es un
procedimiento efectivo.
(**)
∀x (Px → Qx)
∀y (Qy → Ry)
∀x Px
∃x (Rx ∨ Sx)