Open main menu

Changes

m
no edit summary
== Em Dedução Natural ==
# Algumas estratégias, em DN (* ''Derivações na forma de árvores rotuladas com fórmulas)'' # Algumas estratégias, em DN<!--
--><p>{{#ev:youtube|sLKMkPQFYWI}}</p><!--
--><p>''Questão:'' Que outras estratégias de demonstração você conhece e que não apareceram no video?</p><!--