Changes

Estratégias de demonstração (view source)

18 bytes added , 18:35, 26 August 2020

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><!--

525

edits