Aussagenlogik/Variablenbelegung/Ableitbarkeit/Fakt/Beweis/Aufgabe

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. Zeige, dass dann

gilt.

Zur Lösung, Alternative Lösung erstellen