Frage zur Prädikatenlogik

Moderator: Modellierung, Spezifikation und Semantik

HeavyMetalGuy
Neuling
Neuling
Beiträge: 10
Registriert: 18. Mai 2015 12:53

Frage zur Prädikatenlogik

Beitrag von HeavyMetalGuy » 11. Mär 2019 17:16

Hallo,
ich bin auf eine Aufgabe gestoßen bei der ich mir nicht sicher bin wie ich sie lösen kann.

Gegeben ist folgendes:
KURSTYP:={vl, se, pr}
RAUMTYP:={vl-saal, ue-saal}
räume-von: KURS->P(Raum)
raumtyp-von: RAUM->RAUMTYP

ich soll nun die Anforderung modellieren :"Nur Vorlesungssäle sind Vorlesungen zugewiesen". (A=Allquantor)
Ich wollte nun schreiben A vl: raumtyp-von(räume-von(vl))=vl-saal
ich bin mir nun jedoch nicht sicher ob ich das machen darf, da die Funktion räume-von mir ja eine Potenzmenge liefert, die Funktion raumtyp-von jedoch ein einstelliges Element erwartet.

Ich bin für jede Hilfe dankbar
Tristan

tobias.hamann
Windoof-User
Windoof-User
Beiträge: 30
Registriert: 4. Okt 2010 15:58

Re: Frage zur Prädikatenlogik

Beitrag von tobias.hamann » 12. Mär 2019 10:27

Hallo Tristan,

du hast richtig erkannt, dass raueme-von() eine Menge an Rauemen und nicht einen einzelnen Raum zurueckliefert. Also darfst du die Funtkion raumtyp-von() nicht direkt auf das Ergebnis der Funktionsauswertung von raueme-von() anwenden.

Wenn du dir deine Anforderung anschaust, moechtest du ja aussagen, dass jeder Raum, der einer Vorlesung zugeordnet ist ein Vorlesungssal ist. Also soll auch *jeder* Raum, der in der Menge die aus der Funktionsauswertung von raueme-von() resultiert vorhanden ist, ein Vorlesungssaal sein. Was du also aussagen moechtest ist folgendes (ich nehme unten an, dass es eine Menge VORLESUNG gibt, die alle Vorlesungen modelliert, ansonsten wuerdest du eine Aussage ueber alle Kurse treffen):

\(\forall vl \in VORLESUNG : \forall raum \in \text{raueme-von}(vl): \text{raumtyp-von}(raum) = \text{vl-saal}\)

Ich hoffe das klaert deine Frage?

Viele Gruesse,
Tobias
Tobias Hamann, M.Sc.
Modeling and Analysis of Information Systems
Department of Computer Science, TU Darmstadt
http://www.mais.informatik.tu-darmstadt.de

HeavyMetalGuy
Neuling
Neuling
Beiträge: 10
Registriert: 18. Mai 2015 12:53

Re: Frage zur Prädikatenlogik

Beitrag von HeavyMetalGuy » 12. Mär 2019 17:20

Hallo Tobias,
vielen Dank für deine Antwort, das hat mir sehr geholfen. :D

VIele Grüße,
Tristan

Antworten

Zurück zu „Modellierung, Spezifikation und Semantik“