LI2012: Ejercicios de formalización y demostración
En la clase de hoy, y la anterior, del curso Lógica Informática se han resuelto ejercicios de argumentación siguiento los siguientes pasos
- formalizar el argumento en lógica de primer orden,
- decidir mediante resolución y tablero semántico si el argumento es correcto,
- en el caso de que no sea correcto, extraer un contramodelo,
- en el caso de que sea correcto, demostrarlo por deducción natural.
Los ejercicios estudiados han sido
- En una pecera nadan una serie de peces. Se observa que: Hay algún pez x que para cualquier pez y, si el pez x no se come al pez y entonces existe un pez z tal que z es un tiburón o bien z protege al pez y. No hay ningún pez que se coma a todos los demás. Ningún pez protege a ningún otro. Por tanto, existe algún tiburón en la pecera.
- Algunas personas admiran a los que tienen bigote. Algunas personas no simpatizan con nadie que admire a los que tienen bigote. Luego algunas personas no son simpáticas a todos.
- Todo deprimido que estima a un submarinista es listo. Cualquiera que se estime a sí mismo es listo. Ningún deprimido se estima a sí mismo. Por tanto, ningún deprimido estima a un submarinista.
- Todos los robots obedecen a los amigos del programador jefe. Alvaro es amigo del programador jefe, pero Benito no le obedece. Por tanto, Benito no es un robot.