0 Daumen
386 Aufrufe

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?

Avatar von

1 Antwort

0 Daumen

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

Avatar von 287 k 🚀

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community