Lgica 3 Metalgica y Axiomatizacin Curso 2016-1

Tarea 1.

Nombre del estudiante: ___________________________________________________

Instruccin. Traduce al lenguaje de la lgica proposicional o de la lgica de primer orden las siguientes afirmaciones.

1. Argos es un perro.

2. El perro es un mamfero.

3. Argos es el perro de Ulises.

4. William es Drcula.

5. Juan es hermano de todos los hermanos de Roberto.

6. Juan no es hermano de s mismo.

7. Juan no es hermano de Roberto.