Äquivalenzrelationen endliche Menge

Question

Aufgabe:

Sei V eine endliche Menge von Variablen und sei T die Menge aller Booleschen
Terme über V. Beweisen Sie formal, dass die semantische Äquivalenz eine
Äquivalenzrelation auf T definiert.

Wie geht man hier voran?

Answer 1

reflexiv: Ist jeder Term zu sich selbst semantisch äquivalent? Ja

symmetrisch: Wenn A äquivalent zu B dann auch B zu A ? Ja

transitiv: Wenn A äquivalent zu B und B äquivalent zu C

                dann auch A zu C ?  Ja