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.