Ejercicios de formalización y demostración

Los ejercicios elegibles son los que no tienen el signo de visto bueno (✓).

Lógica Proposicional

  1. Juan es andaluz.
  2. La presión atmosférica no permanece constante.
  3. x no es divisible por 10.
  4. El paciente ha mejorado considerablemente.
  5. No está el mañana escrito.
  6. Me matan siempre me matan
  7. Te avisé del peligro que corrías.
  8. Aumentará el índice de pobreza.
  9. El general era desleal o no era inteligente. ✓
  10. Dios no existe. ✓
  11. Pedro es traidor ✓
  12. Se aceptan órdenes del operador
  13. Gozo de la vida si y sólo si no gano dinero

Lógica de Primer Orden

  1. Sócrates es mortal
  2. Hay estudiantes inteligentes y trabajadores. ✓
  3. Hay exactamente un participante ✓
  4. Algún aduanero es contrabandista ✓
  5. Alguien teme a Maria y a Pedro
  6. Jorge es padre de Juan
  7. Los directivos de TV5 están satisfechos
  8. Ciertos aduaneros están motorizados ✓
  9. Juanito no es aficionado al fútbol. ✓
  10. Hay algún aristócrata que no está condenado a galeras
  11. Participación en el referéndum.
  12. Existe una persona rica que tiene un abuelo rico
  13. Ningún deprimido estima a un submarinista. ✓
  14. Benito no es un robot ✓
  15. Existe algún tiburón en la pecera. ✓
  16. Todos los alumnos aprueban las asignaturas A y B. ✓
  17. Algún delantero europeo jugó con botas blancas. ✓
  18. Don Luis es el padre de Manolito.
  19. Petruccio ha afeitado a Lorenzo.
  20. Carlos no afeita a nadie. ✓
  21. Hay un fanático al que no todo el mundo desprecia.
  22. Platón no es un sofista. ✓
  23. Nietzsche y su maestro son diferentes personas. ✓
  24. El hombre puro se ama a sí mismo.
  25. Si el tesorero del club es socio del club, entonces paga su cuota. ✓
  26. Las colas de caballo son colas de animales. ✓
  27. Juan es mayor que Luis. ✓
  28. El esposo de María es Roberto. ✓
  29. La madre de María ama al padre de Juan. ✓
  30. La madre del padre de Juan es la madre del padre de Luis. ✓
  31. El señor Martínez es asturiano. ✓
  32. El primer testigo de la defensa dio falso testimonio. ✓
  33. Existe algo que es a la vez redondo y con forma de cuarto creciente. ✓
  34. Juana no está casada con Guillermo. ✓
  35. Sultán no obtendrá un plátano. ✓
  36. Existe un animal al que le gusta comerse un animal al que le gusta comer semillas