Aussagenlogik/Semantik/Entscheidungsverfahren/Aufgabe

Skizziere ein Entscheidungsverfahren, das für eine gegebene Aussage ${}\alpha \in L^{V}$ entscheidet, ob es sich um eine aussagenlogische Tautologie handelt oder nicht.

Eine Lösung erstellen