111
edits
Changes
Exercícios de Dedução Natural (view source)
Revision as of 22:45, 15 September 2020
, 22:45, 15 September 2020→Derivabilidade de regras
===Derivabilidade de regras===
==== <math>\mathrm{(DNE) }</math> a partir de DNint + (<math>\mathrm{\bot E_{cls}}</math>) ====
<!---->{{#ev:youtube|0RiYJ5EinRE}}