Changes

Jump to navigation Jump to search
No change in size ,  21:23, 3 September 2020
m
no edit summary
* O '''conjunto das derivações''' de um sistema de Dedução Natural<!--
--><p>[VIDEO]</p>
* Notação '''Notação DN<sup>Tree</sup>''': derivações como árvores de fórmulas, com descarte de hipóteses<!--
--><p>[VIDEO]</p>
* Derivações: ''manipulando fórmulas ou sequentes''?<!--

Navigation menu