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?
