Tengo un par de consultas sobre el práctico 1.
En el ejercicio 11, la parte b) pide demostrar que las reglas son contradictorias, y el ejercicio c) pide probar que las reglas son contradictorias. No entiendo en este contexto la diferencia entre demostrar y probar. Y en lo que respecta a la prueba automática, ¿ésta tiene que probar de principio a fin la contradicción o hay que usar tauto en un paso intermedio (es decir, hacer al menos parte de la demostración manualmente)?
La otra pregunta es si en el ejercicio 12 se aplica la lógica clásica (con tercero excluído) o hay que hacer un diagnóstico puramente constructivo.
Saludos.