525
edits
Changes
Jump to navigation
Jump to search
m
# Algumas estratégias, em DN (* ''Derivações na forma de árvores rotuladas com fórmulas)'' # Algumas estratégias, em DN<!--
Estratégias de demonstração (view source)
Revision as of 18:35, 26 August 2020
, 18:35, 26 August 2020no edit summary
== Em Dedução Natural ==
--><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><!--
