Aussagenlogik/Nichtableitbar/Semantisches Kriterium/Aufgabe
Es sei eine Ausdrucksmenge in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge und es sei . Es gebe eine Interpretation mit und . Zeige
.Es sei
eine Ausdrucksmenge in der
Sprache der Aussagenlogik
zu einer
Aussagenvariablenmenge
und es sei
. Es gebe eine Interpretation
mit
und
. Zeige