Gilt nicht

Zeichen und Codes zum Kopieren

Weitere Logikzeichen

Beschreibung

Das Zeichen ⊭ ist ein durchgestrichenes Modellzeichen: senkrechter Strich mit zwei waagerechten nach rechts, dazu ein Schrägstrich. Es gehört zum Grundbestand der mathematischen Zeichen im Zeichensatz. Gelesen wird »M ⊭ φ« als »in der Struktur M gilt φ nicht«: Es gibt eine Belegung, unter der die Aussage falsch wird. In Beweisen dient das dem Gegenbeispiel. Vom Modellzeichen ⊧ unterscheidet es allein der Schrägstrich, vom Zeichen ⊬ der Gegenstand: jenes verneint die Herleitung, dieses die Wahrheit.