ไม่เป็นจริง

ด้านซ้ายไม่ได้รับประกันด้านขวา ในสัญลักษณ์ไม่เป็นจริง ⊭ การกำหนดค่าความจริงคือการกำหนดค่าจริงหรือเท็จให้สูตร ใน Γ ⊭ φ มีการกำหนดค่าอย่างน้อยหนึ่งแบบที่ทำให้ Γ เป็นจริงและ φ เป็นเท็จ สัญกรณ์ไม่ตามมานี้บอกความสัมพันธ์ระหว่างสูตรในภาษาเมตา ซึ่งเป็นภาษาที่ใช้พูดถึงสูตร ไม่ใช่ตัวเชื่อมภายในสูตร

turnstile คู่มีขีดทับมีความเชื่อมโยงทางประวัติศาสตร์กับขีดแสดงการยืนยันของเฟรเกอ ซึ่งใช้ยืนยันข้อความหนึ่ง ต่อมา ตรรกศาสตร์ใช้ turnstile คู่แทนผลตามทางความหมายหรือการที่แบบจำลองทำให้สูตรเป็นจริง ขีดทับหมายถึงการปฏิเสธความสัมพันธ์นั้น

⊭ ปฏิเสธอะไร?

มันปฏิเสธการรับประกัน ไม่ได้ปฏิเสธข้อสรุปที่เป็นไปได้ทุกข้อ P ⊭ Q หมายถึงมีการตีความแบบหนึ่งที่ทำให้ P เป็นจริงและ Q เป็นเท็จ ไม่ได้หมายความว่า Q เป็นเท็จทุกกรณี หรือว่า P ⊨ ¬Q เมื่อไม่มีเงื่อนไขตั้งต้น ⊭ φ หมายถึง φ ไม่เป็นสัจนิรันดร์ เพราะมีการกำหนดค่าที่ทำให้เป็นเท็จ

ทฤษฎีแบบจำลองยังใช้ turnstile คู่เพื่อบอกการทำให้เป็นจริงด้วย: A ⊨ Γ หมายถึงโครงสร้าง A ทำให้สูตรใน Γ เป็นจริง ส่วน A ⊭ Γ ปฏิเสธความสัมพันธ์นั้น

พิมพ์ ⊭ อย่างไร?

ใช้ \nvDash ในการตั้งค่า LaTeX ที่กำหนดคำสั่งนี้ไว้ คำสั่งที่ใช้ได้ขึ้นอยู่กับแพ็กเกจสัญลักษณ์และเอนจิน