---
tag: NA9Z0NPYQB
kind: concept
name: Single turnstile
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section S
    note: adopted
    mention: wikipedia://en/76765067#60EA
    sections: [Summary]
inventory: [AV0G3TKQ7N]
---

## Summary

A symbol used in logic ($\vdash$) to denote syntactic entailment, indicating that a formula or set of formulas derives or proves another formula within a formal system.