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!
Logisk konsekvens
Moderators: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa