Para las teorías de primer orden, las interpretaciones son comúnmente llamadas estructuras.
Dada una estructura o interpretación, una sentencia tiene un valor de verdad fijo.
El siguiente ejemplo está en lógica de primer orden.
Por otra parte, la fórmula: no es una sentencia, debido a la presencia de la variable libre y.
En su lugar, en vez de fórmula se puede denominar predicado.