Changes

Dedução Natural (view source)

20 bytes added , 23:24, 20 September 2020

acrescentando video

* Definição formal e principais meta-propriedades da '''relação de consequência dedutiva''' associada a um sistema de Dedução Natural<!--

--><p>~~[VIDEO]~~{{#ev:youtube|C9G_kswh-z4}}</p>

== Para reflexão ==

525

edits