Se llama teoría del dominio al conjunto de sentencias cerrado bajo la operación de implicación:
El número de sentencias de una teoría es infinito. Pero puede ocurrir que una sentencia
no esté incluida en la teoría ni tampoco su negación. Por ejemplo, con 0 = {p,p
q
r}
resulta TD = {p,p
q
r,p
(p
q
r),q
r,¬r
¬(p
q)...}.
Sentencias como q, r, p
r no están incluidas en TD, pero su negación tampoco lo
está.
Una teoría completa es aquella en la que para cualquier sentencia ocurre que
TD o bien
/
TD.