Beweist nicht

Zeichen und Codes zum Kopieren

Weitere Logikzeichen

Beschreibung

Das Zeichen ⊬ ist ein durchgestrichenes Folgerungszeichen: senkrechter Strich, waagerechter Strich nach rechts, dazu ein Schrägstrich. Es gehört zum Grundbestand der mathematischen Zeichen im Zeichensatz. Gelesen wird »Γ ⊬ φ« als »aus Γ lässt sich φ nicht herleiten«: Im betrachteten Kalkül gibt es keinen Beweis. Das ist eine starke Aussage, denn sie muss für alle möglichen Beweise gelten. Vom Folgerungszeichen ⊢ unterscheidet es allein der Schrägstrich, vom Zeichen ⊭ der Gegenstand: dort geht es um Wahrheit, hier um Herleitbarkeit.