Lgica

LOPARIC, Andrea. Lies de Lgica

Lgica Formal;
Estuda Clculo de Predicados com Identidade e Smbolos Operacionais;
Gramtica e Semntica;
Referncia: MATES, Benson. Lgica Elementar (Captulo IX);
Importncia
a) rvores de formao e das rvores moleculares na sintaxe;
b) temtica do significado formal dos conjuntos soluo;
c) diagramas na compreenso da semntica de primeira ordem.
Qual a definio de
Clculo de Predicados
Identidade
Smbolos Operacionais
Gramtica
Semntica

Apresenta-se uma linguagem chamada L, linguagem da Lgica de Predicados de Primeira Ordem,

com identidade e smbolos operacionais.
Smbolos que integram as expresses da linguagem
apresentados com categorias gramticais (implicando em um vocabulrio categorial)
tambm vocabulrio decidvel: dado um smbolo possvel verificar se ele faz parte ou no do
vocabulrio e, se sim, que classe gramatical ele pertence.