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

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