Primer parcial 2015, ejercicio 3b.

Primer parcial 2015, ejercicio 3b.

de Marcio Rivas Masullo -
Número de respuestas: 1

Buenas, no se cómo hacer esta derivación! 

Adjunto IMG_20190426_190738.jpg
En respuesta a Marcio Rivas Masullo

Re: Primer parcial 2015, ejercicio 3b.

de Guillermo Calderon - InCo -

Te sugiero esta estrategia:

  • Derivar \beta a partir de \neg(\neg \alpha \lor \beta) usando RAA.
  • Lo mismo para \alpha

  • usando la premisa y las dos derivaciones anteriores obtenés la derivación de \delta requerida.