4.5.
Teoría del dominio
Loa axiomas propios, o del dominio, en lógica de predicados son sentencias
cerradas, como en los ejemplos del Apartado 4.2.1. El conocimiento factual (que en
lógica de proposiciones se representaba con un conjunto de variables proposicionales,
Apartado 3.5) ahora etá formado por relaciones extensionales, cuya representación es
un conjunto de átomos terminales. Ambos forman el conjunto de premisas 
0 sobre las
que trabajará un sistemas deductivo, y, como habíamos definido, la teoría del dominio es
el conjunto (infinito) de sentencias cerrado bajo la operación de implicación a partir de
0. Si la teoría del dominio no es completa, puede completarse mediante la asunción
del mundo cerrado.
DIT-ETSIT-UPM