Kapitteltest – Kapittel 15
Test deg selv
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.
Test deg selv
Hvilke av disse formlene er falsifiserbare? La relasjonssymbolene $P$ og $Q$ ha aritet én, mens $R$ ha aritet to.
Formelen er falsifiserbar, siden den blir usann for eksempel i modellen $P^M = \set{1}, Q^M = \emptyset$, med domenet $\set{1}$.
Formelen er falsifiserbar, siden den blir usann for eksempel i modellen $P^M = \set{1}, Q^M = \set{2}$, med domenet $\set{1,2}$.
Test deg selv
Hvilke av disse formlene er sanne for domenet $|M| = \mathbb{N}$?
Denne formelen er sann. For alle naturlige tall er det slik at det finnes et tall som er større.
Denne formelen er usann. Den sier at det finnes ett naturlig tall som er mindre enn alle naturlige tall. Det er nesten riktig, for tallet $0$ er mindre enn alle andre naturlige tall, men det er ikke mindre enn seg selv.
Denne formelen betyr at for alle naturlige tall finnes det et naturlige tall som er mindre. Det stemmer ikke, siden det ikke finnes noe naturlig tall som er mindre enn $0$.
Denne formelen er sann. Det finnes et naturlig tall som er mindre eller lik alle naturlige tall, nemlig $0$.
Dette stemmer ikke, for det finnes ikke noe naturlig tall som er større eller lik alle naturlige tall.