Første Ordens Logikk - gyldighet eller falsifikasjon?
Posted: 24/10-2010 22:56
Håper det er folk her som kan litt logikk, ettersom jeg ikke finner andre steder å poste slike spørsmål på andre forumer 
Her har jeg altså to litt forskjellige utsagn eller "setninger":
∀x . ∃y . Rxy → ∃y . ∀x . Rxy
∃y . ∀x . Rxy → ∀x . ∃y . Rxy
Lurer altså på om disse er gyldige eller ikke?
De ser veldig like ut, men etter hva jeg har kommet fram til,
er den første ikke gyldig (falsifiserbar), mens den andre er gyldig.
Noen som kan bekrefte at dette er riktig eller feil?
Her har jeg altså to litt forskjellige utsagn eller "setninger":
∀x . ∃y . Rxy → ∃y . ∀x . Rxy
∃y . ∀x . Rxy → ∀x . ∃y . Rxy
Lurer altså på om disse er gyldige eller ikke?
De ser veldig like ut, men etter hva jeg har kommet fram til,
er den første ikke gyldig (falsifiserbar), mens den andre er gyldig.
Noen som kan bekrefte at dette er riktig eller feil?