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.