Aussagenlogik/Tautologien/Entscheidungsverfahren/Fakt/Beweis

Beweis

In ${}\alpha$ kommen nur endlich viele Aussagenvariablen vor. Man berechnet für alle (endlich vielen) Belegungen dieser Aussagenvariablen den Wert von ${}\alpha$ gemäß den Festlegungen. Wenn immer ${}1$ herauskommt, so handelt es sich um eine Tautologie, andernfalls nicht.