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

1. formalizar el argumento en lógica de primer orden,
2. decidir mediante resolución y tablero semántico si el argumento es correcto,
3. en el caso de que no sea correcto, extraer un contramodelo,
4. en el caso de que sea correcto, demostrarlo por deducción natural.

Los ejercicios estudiados han sido

1. 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.
2. 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.
3. 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.
4. 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.