Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Modallogik/K/Konjunktion der Möglichkeitsaussage/Aufgabe
Sprache
Beobachten
Bearbeiten
Zeige, dass in einer
K
{\displaystyle {}K}
-
Modallogik
das Axiomenschema
◊
(
α
∧
β
)
→
◊
α
∧
◊
β
{\displaystyle \Diamond (\alpha \wedge \beta )\rightarrow \Diamond \alpha \wedge \Diamond \beta }
gilt.
Zeige, dass in einer
K
{\displaystyle {}K}
-Modallogik das Axiomenschema
◊
α
∧
◊
β
→
◊
(
α
∧
β
)
{\displaystyle \Diamond \alpha \wedge \Diamond \beta \rightarrow \Diamond (\alpha \wedge \beta )}
nicht gelten muss.
Eine Lösung erstellen