Aussagenlogik/Variablenbelegung/Ableitbarkeit/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine aussagenlogische Aussage und es seien die darin vorkommenden Aussagenvariablen. Es sei

eine fixierte Konjunktion dieser (negierten) Aussagenvariablen.

Dann ist

Zum Beweis, Alternativen Beweis erstellen