Especificação de uma linguagem da lógica de primeira-ordem: constantes (ou nomes) e símbolos relacionais (ou predicativos) com respetiva aridade. O símbolo relacional binário de igualdade (notação infixa). Exemplos. O papel semântico das constantes é referir um objeto do domínio do discurso. O papel semântico dos símbolos relacionais é exprimir relações (entre objetos do domínio do discurso). A interpretação do símbolo da igualdade está fixa. Exemplos de interpretações. Sentenças (atómicas) verdadeiras e sentenças (atómicas) falsas.