Changes

Correção e completude (view source)

176 bytes added , 23:19, 2 September 2020

m

no edit summary

* Definições gerais[VIDEO]* Correção e completude de um sistema de Dedução Natural para a Lógica Proposicional Clássica[VIDEO]

== Para reflexão ==

== Veja também ==

* [[Dedução Natural]]* [[Acarretamento]]

== Links externos ==

*

525

edits