邏輯斷言

斷言（英語：judgement或assertion）在邏輯學中是斷定一個特定前提為真的陳述，並且對在證明中的陳述有用。它等價於有空前件的相繼式。

例如，如果p=「x是偶數」，則蘊涵${\displaystyle (\vdash p)\rightarrow x{\bmod {2}}=0}$因此為真。還可以使用斷定號寫為${\displaystyle \vdash (\vdash p)\rightarrow x{\bmod {2}}=0}$。