Aussagenlogik/Semantische Äquivalenz als Äquivalenzrelation/Repräsentanten/Aufgabe

Es sei ${}\sim$ die in Aufgabe diskutierte Äquivalenzrelation auf ${}L^{V}$. Zeige, dass jede Äquivalenzklasse ${}[\alpha ]$ einen Repräsentanten in disjunktiver Normalform besitzt.

Eine Lösung erstellen