Aussagenlogik/Tautologie und Erfüllbarkeit/Fakt

Aus Wikiversity

Zur Navigation springen Zur Suche springen

Ein Ausdruck ${}\alpha \in L^{V}$ (zu einer Menge von Aussagenvariablen ${}V$ )

ist genau dann eine (semantische) Tautologie, wenn ${}\neg \alpha$ nicht erfüllbar ist.

Zum Beweis, Alternativen Beweis erstellen

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Aussagenlogik/Tautologie_und_Erfüllbarkeit/Fakt&oldid=837995“

Modelltheorie der Aussagenlogik/Fakten