1. Översätt nedanstående satser med hjälp av predikaten Älskar(x), Hatar(x) samt de
predikatlogiska symbolerna.
a)
Den som älskar alla hatar inte någon.
b)
Den som hatar sig själv kan inte älska någon.
c)
Ingen älskar den som hatar alla.
d)
Någon älskar den som älskar alla.
e)
Någon hatar alla som älskar sig själva.
2. Återge nedanstående satser på ledig svenska.
a)
x(Älskar(x,x)Hatar(x,x))
b)
xy(Älskar(y,x))
c)
xy(Älskar(x,y))xy(Hatar(x,y))
d)
x(yÄlskar(x,y)zÄlskar(z,x))
e)
x(yÄlskar(x,y)zHatar(x,z))
3. Använd de angivna predikaten och de predikatlogiska symbolerna för att översätta
nedanstående satser
a)
Det finns inget största primtal.
Primtal(x), Större än (x,y)
b)
Om en villkorssats är en motsägelse så är försatsen en tautologi och eftersatsen
en motsägelse.
Villkorssats(x); Motsägelse(x); Försats till (x,y); Tautologi(x); Eftersats till (x,y)
c)
Ingår den som är gift nytt äktenskap eller ingår ogift äktenskap med den som är
gift, dömes för tvegifte.
Ingår äktenskap med(x,y); Är gift med(x,y); ≠(x,y) [x och y är inte samma
individ]; Dömes för tvegifte(x)
