Introdução ao estudo das linguagens da lógica de primeira ordem. Símbolos específicos de uma linguagem: constantes (ou nomes), símbolos relacionais (ou predicativos) e símbolos funcionais. Papel semântico das constantes (referir objetos do domínio do discurso); papel semântico dos símbolos relacionais (exprimir propriedades dos objetos ou relações entre eles); aridade de um símbolo relacional - exemplos introdutórios.