Lógica de predicados y especificación

Resolver los problemas propuestos en los enlaces siguientes: