Hola Bruno:
En el práctico 10 hay que construir derivaciones. Las derivaciones se deben construir aplicando las reglas dadas para la definición del conjunto DER.
Respuesta 1)
En estos ejercicios no se permite sustituir una fórmula por otra equivalente.
Respuesta 2)
No aplica. Ver respuesta 1)
Respuesta 3)
Esta propiedad no es cierta:
- (φ eq ⊥) o (φ eq ¬⊥)
. Sin embargo, sí es cierto que:
- ⊢ (φ ↔ ⊥) ∨ (φ ↔ ¬⊥)