FB18 - Das Forum für Informatik

fb18.de / Diplom Informatik / Theoretische Informatik (HS)

LOS: Rautensymbol der Modallogik

LOS: Rautensymbol der Modallogik 2006-09-08 12:50
ChrisP
Habe eine banale Frage, aber fuer die Pruefung wichtig:

Wie spricht man das Rautensymbol (diamond, Karo, …) der Modallogik aus?

Bzw. wie nennt Eschenbach das Symbol?


(Das box-Symbol nennt sie vermutlich einfach "box", habe ich mal geschlossen… richtig?)

Re: LOS: Rautensymbol der Modallogik 2006-09-08 15:16
XPhilosoph
IIRC hieß das in der Vorlesung einfach diamond.

Re: LOS: Rautensymbol der Modallogik 2006-09-08 15:17
Anonymer User
-Das Rautensymbol wir diamond genannt. Steht auch im Skript

Hast Du am Montag Prüfung? Ich bin Montag dran

Re: LOS: Rautensymbol der Modallogik 2006-09-08 15:53
ChrisP
Hast Du am Montag Prüfung? Ich bin Montag dran

Ich danke Euch.

Ja, uebermorgen… *schwitz* :-)