Changes

Jump to navigation Jump to search
* [[Semântica formal para a Lógica de Primeira Ordem Clássica]]
* [[Semântica formal para a Lógica de Primeira Ordem Intuicionista]]

== Para reflexão ==

*

== Veja também ==

* [[Acarretamento]]
* [[Correção e completude]]

== Links externos ==

*

Navigation menu