Definição de termo (fechado) duma dada linguagem da lógica de primeira-ordem. Definição de sentença atómica duma dada linguagem da lógica de primeira-ordem. Exemplos. Papel semântico das constantes, termos e sentenças.

Os conetivos proposicionais da negação, conjunção e disjunção (inclusiva). Lei da dupla negação, leis comutativas e leis associativas.