Sentencia (lógica)

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.