Vise at formler er gyldige m.m.

[logikeren02]

Vis at formlene er gyldige:

a) Pa ˅ Pb → ∃xPx

b) ∀xPx → Pa ˄ Pb

For hver av følgende formler, gi en modell som gjør formelen sann. La domenet være {1, 2}. Det er tilstrekkelig å gi tolkningen av relasjonssymbolene R.

a) ∀x∀yRxy

b) x∃yRxy ˄ ¬∃xRxx

c) ∃x∃y(Rxy ˄ ¬Ryx) ˄ ∀xRxx

 

Hei!

 

Jeg har kommet over noen oppgaver jeg ikke helt forstår hvordan jeg skal løse. Jeg antar at det har noe med domene å gjøre. Kapittelet oppgavene er fra heter tolkning i modeller, og det er jo førsteordens logikk såvidt jeg forstår.

 

Alle hjelp tas imot med stoooooor takk!