Oppgave
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}$.
Denne oppgaven finnes på følgende sider: