Modallogik/K/Modell/Keine Oderbeziehung/Aufgabe
Zeige durch Angabe eines modallogischen Modelles, dass im -System der Ausdruck
nicht ableitbar ist
(dabei seien Aussagenvariablen).Zeige durch Angabe eines modallogischen Modelles, dass im -System der Ausdruck
nicht ableitbar ist
(dabei seien Aussagenvariablen).