Lógica - ¿Alguien me puede responder a como se hace este ejercicio? Gentzen

Filtrado por el usuario: miguel
<<>>
Filtrado por el usuario 'miguel' (Eliminar fitro)
 
Vista: