Lemma Tautologie gdw neg unerfüllbar

Einfache Sprache

Def. Lemma Tautologie gdw neg unerfüllbar

Eine Aussagenlogischen Formel $\varphi$ ist eine Tautologie genau dann, wenn $\neg\varphi$ unerfüllbar ist.