525
edits
Changes
Jump to navigation
Jump to search
m
no edit summary
== Noção de consequência dedutiva ==
* Definição formal e principais meta-propriedades da '''relação de consequência dedutiva''' associada a um sistema de Dedução Natural<!--
--><p>[VIDEO]</p>
