111
edits
Changes
Exercícios de Dedução Natural (view source)
Revision as of 22:44, 15 September 2020
, 22:44, 15 September 2020→Dedução Natural para a Lógica Proposicional Clássica
===Derivabilidade de regras===
==== (DNE) a partir de DNint + (<math>\bot E_{cls}</math>) ====
<!---->{{#ev:youtube|0RiYJ5EinRE}}
==Veja também==