View source for Semântica formal para a lógica de primeira ordem

* Da '''verdade''' e da '''falsidade''' ''de fórmulas'' em uma estrutura de interpretação específica<!--
--><p>{{#ev:youtube|j41Sw3dJ1rU}}</p>

* Da '''validade''' global ''de um sequente'', e da validade de um sequente em uma estrutura de interpretação específica<!--
--><p>{{#ev:youtube|8LKRvIX3KkY|||||start=145&end=258&loop=1}}</p>

== Para reflexão ==

* 

== Veja também ==

* [[Semântica formal para a lógica proposicional]]
* [[Semântica formal para a Lógica de Primeira Ordem Clássica]]
* [[Semântica formal para a Lógica de Primeira Ordem Intuicionista]]
* [[Acarretamento]]
* [[Correção e completude]]
* [[Introdução Computacional à Lógica Matemática]]

== Links externos ==

* [http://pt.wikipedia.org/wiki/Fun%C3%A7%C3%A3o_booleana Função booleana (Wikipédia)]
* [http://pt.wikipedia.org/wiki/Fun%C3%A7%C3%A3o_de_verdade Função de verdade (Wikipédia)]
* [http://pt.wikipedia.org/wiki/Valor_de_verdade Valor de verdade (Wikipédia)]
* [http://pt.wikipedia.org/wiki/Valora%C3%A7%C3%A3o_%28l%C3%B3gica%29 Valoração (Wikipédia)]
* [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)]