Changes

Dedução Natural (view source)

31 bytes added , 02:46, 17 September 2020

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>

525

edits