Dedução natural passo a passo

Acompanha uma prova do início ao fim, com a estratégia que explica cada linha.

Ainda não há prova

Escolhe um exemplo ou escreve um sequente para veres a prova passo a passo.