525
edits
Changes
m
no edit summary
* Da ''derivabilidade das regras estruturais'' na notação DN<sup>Tree</sup><!--
--><p>[VIDEO]</p>
== Noção de consequência dedutiva ==
* Definição formal da '''relação de consequência dedutiva''' associada a um sistema de Dedução Natural<!--
--><p>[VIDEO]</p>