Matemtica para Informtica

Primer Cuatrimestre 2016

Trabajo Prctico N 10: Lgica de Primer Orden
Objetivos
El estudiante debe ser capaz de:
Iniciarse en el manejo de herramientas de la Lgica de Primer orden.
Demostrar teoremas basados en los axiomas.
Reconocer la utililidad de la formalizacin de la Lgica Matemtica.
Duracin: Seis (6) horas
1. (a) Da un ejemplo de un smbolo de una operacin de dos lugares.
(b) Da un ejemplo de un smbolo de predicado de tres lugares.
2. (a) Dene frmula.
(b) Da un ejemplo de una frmula donde una variable est acotada y la otra sea libre.
3. (a) Dada la siguiente frmula reescribir sin usar puntos y usando las otras convenciones:
P ! Q: ! :P :!: P ! Q: ! :Q
(b) Realiza una prueba formal de la frmula dada en (a).
4. Usando las deniciones de _ , ^ y $ en trmino de los smbolos s, !, ( y ), expresa las frmulas
siguientes sin usar _ e ^ :
(a)

P ^Q!P

(b)

P ^Q$Q^P

(c)

P_ s P

(d)

P ^Q!P

5. Prueba que la siguiente frmula es un teorema del clculo proposicional:

P ! :Q ! R :!: Q ! :P ! R,
primero realizando una deduccin lnea a lnea, luego repita la demostracin usando el Teorema de
la Completitud del Clculo Proposicional y el hecho de que es una tautologa.
6. (a) Escribe en forma simblica las siguientes espresiones:
Existe al menos una u tal que P (u)
Existe a lo sumo una u tal que P (u)
Existe exactamente una u tal que P (u)

Existe u tal que P (u)

(b) Repite el item anterior reemplazando una por dos.