Relasjoner og predikatlogikk
Lagt inn: 27/03-2007 12:05
Sitter litt fast med en oppgave i diskret matematikk:
Relasjonen liker [tex]\subseteq[/tex] Personer x Personer er definert ved at liker(x, y) er sant hviss personen x liker personen y.
Oversett følgende til predikatlogikk:
1. Anne liker bare Trine og Truls.
2. Anne liker de som ikke liker seg selv.
3. Ingen liker de som bare liker seg selv.
Det jeg har kommet frem til foreløpig ligner egentlig ikke grisen:
1.
a: ‘Anne’
t: ‘Trine’
tr: ‘Truls’
[tex]\forall[/tex]x (liker(a, t) AND liker(a, tr)) → (¬ liker(x, x))
2.
a: ‘Anne’
[tex]\forall[/tex]x (liker(a, x) → (¬ liker(x))
3.
∃x (¬ (liker(x, x))) → liker(x, x)
Setter STOR pris på all mulig hjelp![Exclamation :!:](./images/smilies/icon_exclaim.gif)
Relasjonen liker [tex]\subseteq[/tex] Personer x Personer er definert ved at liker(x, y) er sant hviss personen x liker personen y.
Oversett følgende til predikatlogikk:
1. Anne liker bare Trine og Truls.
2. Anne liker de som ikke liker seg selv.
3. Ingen liker de som bare liker seg selv.
Det jeg har kommet frem til foreløpig ligner egentlig ikke grisen:
1.
a: ‘Anne’
t: ‘Trine’
tr: ‘Truls’
[tex]\forall[/tex]x (liker(a, t) AND liker(a, tr)) → (¬ liker(x, x))
2.
a: ‘Anne’
[tex]\forall[/tex]x (liker(a, x) → (¬ liker(x))
3.
∃x (¬ (liker(x, x))) → liker(x, x)
Setter STOR pris på all mulig hjelp
![Exclamation :!:](./images/smilies/icon_exclaim.gif)