Changes

Correção e completude (view source)

60 bytes added , 13:28, 6 October 2020

no edit summary

* [[Relação de consequência]]

* [[~~Dedução Natural~~Formalismos dedutivos]]

* [[Acarretamento]]

* [[Correção e completude para a Lógica Proposicional Clássica]]

* [[Correção e completude para a Lógica de Primeira Ordem Clássica]]

* [[Introdução Computacional à Lógica Matemática]]

== Links externos ==

*

525

edits