Oppgave
Hvilke av disse påstandene er sanne?
Ingen av elementene i domenet oppfyller $P$, og derfor oppfyller $M$ den første formelen. Da er det også slik at alle elementer i domenet ikke oppfyller $P$, og dermed oppfyller $M$ også den andre formelen.
Dette er en gyldig formel, og dermed er den oppfyllbar, men ikke falsifiserbar.
La $a^M = 1$, $b^M = 2$ og $P^M = \set{1,2}$. Da oppfyller modellen formelen med domenet $\set{1,2}$, men formelen er usann dersom domenet i stedet er $\set{1,2,3}$.
Nei, her er ikke domenet til modellen oppgitt. Minimumskravet for å spesifisere en modell er å angi et domene, og tolkningen av alle ikke-logiske symboler, som vil si alle konstantsymboler, funksjonssymboler og relasjonssymboler.
Denne oppgaven finnes på følgende sider: