PROGRAMACIÓN LÓGICA Y FUNCIONAL

Desarrolla la solución para los siguientes predicados.

1. Todos los felinos son mamíferos

Todos los tigres son felinos.
Todos los tigres son felinos

2. Todos los tiranos son crueles

Algunos civiles son tiranos
Algunos civiles son crueles

3. Ningún software está garantizado

Todos los programas son software
Ningún programa está garantizado

4. Las manzanas y los plátanos son nutritivos

5. a) Pedro es amigo de todos.

b) Algunos son amigos de Pedro.
c) Todos son amigos de todos

6. Todos los deportistas son guapos

Juan es deportista.
Entonces Juan es guapo

7. Lancelot ama a la Reina Ginebra.

Lancelot no ama a ninguno de sus amigos.
El Rey Arturo es amigo de Lancelot.
Los amigos de Lancelot odian a aquellos a quienes Lancelot ama.
Por consiguiente, El Rey Arturo odia a la Reina Ginebra.

8. a) Algunos cerdos no pueden volar.

b) Algunos cerdos no son águilas.

c) Toda águila puede volar.

9. Hay por lo menos una cosa que es humana y que es mortal.

10. Nadie sino los valientes merecen a bella.