Quantorenfreier Typ

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Die Menge quantorenfreier Formeln in einer festen Tupelvariablen, die ein gegebenes Tupel in einer Struktur realisiert oder die mit einer Theorie konsistent sind; sie erfasst nur atomare und boolesche Kombinationen atomarer Aussagen und lässt quantifizierte Aussagen weg.