111
edits
Changes
Jump to navigation
Jump to search
* [http://pt.wikipedia.org/wiki/Completude_%28l%C3%B3gica%29 Completude (Wikipédia)]
* [http://pt.wikipedia.org/wiki/Corre%C3%A7%C3%A3o Correção (Wikipédia)]
Semântica formal para a lógica de primeira ordem (view source)
Revision as of 20:37, 15 October 2020
, 20:37, 15 October 2020→Links externos
* [http://pt.wikipedia.org/wiki/Validade Validade (Wikipédia)]
* [http://pt.wikipedia.org/wiki/Completude_funcional Completude funcional (Wikipédia)]
* [http://pt.wikipedia.org/wiki/Interpreta%C3%A7%C3%A3o_%28l%C3%B3gica%29 Interpretação (lógica) (Wikipédia)]
* [http://pt.wikipedia.org/wiki/Interpreta%C3%A7%C3%A3o_pretendida Interpretação pretendida (Wikipédia)]
* [http://pt.wikipedia.org/wiki/Anexo:Lista_de_teorias_de_primeira_ordem Lista de teorias de primeira ordem (Wikipédia)]
* [http://pt.wikipedia.org/wiki/Teoria_sem%C3%A2ntica_da_verdade Teoria semântica da verdade (Wikipédia)]
* [http://pt.wikipedia.org/wiki/Completude_%28l%C3%B3gica%29 Completude (Wikipédia)]
* [http://pt.wikipedia.org/wiki/Corre%C3%A7%C3%A3o Correção (Wikipédia)]
