Doğru

Anlamsal sonucu veya bir modelin formülü sağlamasını gösterir.

Bir yorum, simgelere anlam verir ve neyin doğru olduğunu belirler. ⊨ işaretinin solunda varsayımlar varsa, bunları doğru yapan her izinli yorum sağdaki formülü de doğru yapmalıdır. Γ ⊨ φ gösteriminde Γ (büyük gama) varsayımları toplar, φ (fi) ise formüldür; bu anlamsal sonuçtur, belirli bir kanıtlama sisteminde türetme değildir.

Turnike gösteriminin geçmişi bu çift çizgili kullanımdan daha eskidir. Frege, bir yargıyı belirtmek için tek bir doğrulama işaretini 1879'da ortaya koydu; daha sonra mantıkçılar, kanıt ile anlamsal sonucu ayırmak için tek ve çift çizgili biçimler kullandı. Çift turnikenin kullanımı 1965–1967 tarihli kaynaklara kadar izlenebilir, ancak ilk kesin ortaya çıkışı tartışmalıdır.

⊨ işaretinin anlamı konumuna göre neden değişir?

Solundaki ifade, işaretin hangi ilişkiyi gösterdiğini belirler.

Solda öncüller veya bir kuram varsa ⊨, bu varsayımları izin verilen her yorumda çıkan bir sonuca bağlar. Solda bir model veya yapı varsa, o belirli yapının formülü sağladığını söyler. Solunda hiçbir şey yoksa ⊨ φ genellikle φ'nin izin verilen her yorumda geçerli olduğunu belirtir.