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