Modellzeichen
Zeichen und Codes zum Kopieren
-
⊧
Zeichen
-
U+22A7
Unicode
-
⊧
HTML Code
-
\22A7
CSS Code
-
\u22A7
JavaScript Code
-
\u{22A7}
PHP / Ruby Code
Beschreibung
Das Modellzeichen ⊧ besteht aus einem senkrechten Strich, von dem zwei kurze waagerechte Striche nach rechts abgehen.
Es gehört zum Grundbestand der mathematischen Zeichen im Zeichensatz. In der Logik heißt »M ⊧ φ«, dass eine Struktur M die Aussage φ erfüllt – die Aussage ist in diesem Modell wahr. Gelesen wird es als »erfüllt« oder »ist Modell von«.
Vom Folgerungszeichen ⊢ unterscheidet es der zweite waagerechte Strich und die Aussage: jenes spricht über die Herleitung, dieses über die Wahrheit. Verneint wird es durch ⊭.