Side 1 av 1

Ekvivalensklasser

Lagt inn: 04/04-2019 12:47
av Gjest
Hei! Noen som kan hjelpe meg litt på veien med disse oppgavene? Vet ikke helt hvordan jeg skal gå frem for å løse noen av dem...

Vi har tidligere vist at ⇔ er en ekvivalensrelasjon på mengden av utsagnslogiske formler.
a) Beskriv kort ekvivalensklassene til denne relasjonen.
b) Hva er ekvivalensklassene til T og ⊥?
c) Finnes det en ekvivalensklasse med kun ett element?


La relasjonen ∼ være definert slik at S ∼T hvis ISI = ITI. Vis at ∼ er en ekvivalensrelasjon. Hva er ekvivalensklassene?