Page 1 of 1

Logisk konsekvens

Posted: 22/10-2015 17:30
by Hjelphjelp
Hei!

Jeg kom over en oppgave, jeg veldig gjerne skulle hatt hjelp til. Den lyder som følger:

Avgjør hvilke av følgende formler som er logiske konsekvenser av hverandre:
∀x∃yRxy ∀y∃xRxy


∀x∀yRxy ∃x∃yRxy

Hvis noen kunne ha hjulpet meg med denne, så hadde det vært supersnilt!

Re: Logisk konsekvens

Posted: 22/10-2015 17:32
by Hjelphjelp
Rettelse:

∀x∃yRxy ∃y∀xRxy


∀x∀yRxy ∃x∃yRxy