In der Modallogik wird der Ausdruck „möglich“ (genauer: der Satzoperat...
wikipedia - 02 Aug 2021In der Modallogik wird der Ausdruck „möglich“ (genauer: der Satzoperator „es ist möglich, dass…“) durch eine auf die Spitze gestellte Raute dargestellt, die auch „Diamond“ (engl. für Raute) heißt, und der Ausdruck „notwendig“ (genauer: „es ist notwendig, dass…“) durch ein kleines Quadrat, das auch „Box“ genannt wird.
