Especificação de uma linguagem da lógica de primeira-ordem: constantes (ou nomes) e símbolos relacionais (ou predicativos) com aridade. Papel semântico das constantes e dos símbolos relacionais. Exemplo duma interpretação. Exemplo informal de sentenças verdadeiras e falsas.