Gültigkeit von Formeln im Modell (BB: Exercise 1.1.10)

Consider the model with $D=\{d1,d2,d3,d4,d5\}$ and the following interpretation function $F$:

F(MIA) = d2
F(HONEY-BUNNY) = d1
F(VINCENT) = d4 
F(YOLANDA) = d1 
F(CUSTOMER) = {d1,d2,d3}
F(ROBBER) = {d3,d5}
F(LOVE) = {(d3,d4)} 

Are the following sentences true or false in this model?

xLOVE(x,VINCENT)

x(ROBBER(x)¬CUSTOMER(x))

xy(ROBBER(x)¬ROBBER(y)LOVE(x,y))

Noch keine Kommentare eingereicht. Bitte hilf uns diese Aufgabe zu verbessern.

Schreibe einen Kommentar

Deine personenbezogenen Daten werden nicht gespeichert!