modelinhoud
Modelinhoud is het onderwerp in formele logica en modeltheorie dat verwijst naar het domein van een model. Het is de verzameling objecten waarop de interpretaties van de symbolen van een taal gelden. In een model omvat de modelinhoud dus het universum waarop predicaten, functies en constanten worden geïnterpreteerd.
In de gebruikelijke opzet bestaat een model uit twee onderdelen: een modelinhoud (het domein van het model)
Bij het evalueren van zinnen in een model spelen de quantoren en variabelen een cruciale rol: de
Voorbeeld: een taal met een unary predicaat P en constante symbolen c1, c2. Een model M kan
Andere betekenissen: buiten logica kan modelinhoud ook verwijzen naar de feitelijke data of configuratie die in