Changes

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

47 bytes added , 18:34, 26 August 2020

m

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

525

edits