Aussagenlogik/Nichtableitbar/Semantisches Kriterium/Aufgabe
Erscheinungsbild
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
.