Aussagenlogik/Semantische Äquivalenz als Äquivalenzrelation/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige, dass die Beziehung

eine Äquivalenzrelation auf definiert. Zeige, dass sowohl alle Tautologien als auch alle Kontradiktionen eine Äquivalenzklasse

bilden. Wie viele Äquivalenzklassen besitzt diese Äquivalenzrelation, falls Elemente besitzt?
Eine Lösung erstellen