Tipo sin Cuantificadores

El conjunto de fórmulas sin cuantificadores en un tupla de variables fija que un tupla dado realiza en una estructura o que son consistentes con una teoría; registra solo información atómica y combinaciones booleanas de átomos, omitiendo afirmaciones cuantificadas.