Modallogik/K/Modell/Keine Oderbeziehung/Aufgabe
Erscheinungsbild
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).