Provar em dedução natural

Escreve um sequente e constrói a prova em notação de Fitch, com cada linha verificada.

Ainda não há prova

Escreve um sequente e carrega em Enter para abrir a prova.