EJERCICIOS

Represente las siguientes sentencias en lógica de primer orden, utilizando un vocabulario consistente (que usted debe definir):

1. Algunos estudiantes estudian francés en la primavera de 2001.2. Cada estudiante que estudia francés lo aprueba.3. Sólo un estudiante estudia griego en la primavera de 2001.4. La mejor puntuación en griego siempre es mayor que la mejor puntuación

En francés.5. Todas las personas que compran una póliza son inteligentes.6. Nadie compra una póliza cara.7. Hay un agente que vende pólizas sólo a la gente que no está asegurada.8. Hay un barbero que afeita a todos los hombres de la ciudad que no se

afeitan ellos mismos.9. Una persona nacida en Reino Unido, cuyos padres sean ciudadanos de

Reino Unido o residentes en Reino Unido, es un ciudadano de Reino Unido.

10. Una persona nacida fuera de Reino Unido, que tenga uno de los padres ciudadano de Reino Unido o residente en Reino Unido, es ciudadano de Reino Unido por ascendencia.

11. Los políticos pueden mentir a algunos todo el tiempo, y pueden mentir a todos algún tiempo, pero no pueden mentir a todos todo el tiempo.

12. No es cierto que existan vaqueros cobardes.13. La función real g alcanza un máximo absoluto en x = Y.14. Ningún policía miente si es de noche.15. Existe un único marciano.16. Elmer es el padre más responsable de todos los padres.17. Todas las vacas viven en China, y existe una vaca que no tiene dueño.18. Si hace frío, ocurre que al salir me resfrío.19. F pertenece a todos los conjuntos.20. Si H pertenece a dos conjuntos, entonces pertenece a la intersección de

ellos.21. Un conjunto está contenido en otro si todo elemento del primero está en el

segundo.22. Dos conjuntos son iguales si cada uno de ellos está contenido en el otro.23. El conjunto vacío está contenido en todos los conjuntos.24. (a) Todos aman a alguien; (b) Alguien ama a alguien; (c) Nadie ama a

alguien.25. Algunos tigres no son valientes.26. (a) Ningún oso es animal; (b) Ningún animal es oso27. Si todos los soldados son calvos, entonces ningún calvo es civil.28. 0 es el único natural que no es mayor que 0.29. Ningún animal que no sea gato le gusta a Jean.30. Hay un barbero que afeita a todos los que no se afeitan a sí mismos.