Logisk konsekvens
Posted: 22/10-2015 17:30
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!
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!