0, sobre las que trabajará un sistema deductivo. La otra parte
es la que representa al conocimiento factual, y estará formada por las variables
proposicionales que representan hechos que se consideran verdaderos en la
conceptuación.
Se llama teoría del dominio al conjunto de sentencias cerrado bajo la operación de implicación:
|0
}
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.
DIT-ETSIT-UPM