Zum Inhalt springen

Aussagenlogik/Variablenbelegung/Ableitbarkeit/Fakt/Beweis/Aufgabe

Aus Wikiversity

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

eine fixierte Konjunktion dieser (negierten) Aussagenvariablen. Zeige, dass dann

gilt.