Beweisen Sie, dass TAUT entscheidbar ist.

Question

Aufgabe:

Sei TAUT:= {⟨F⟩| F∈ L ist eine Tautologie}.

Beweisen Sie, dass TAUT entscheidbar ist.