L'asserzione logica è una dichiarazione che afferma che una certa premessa è vera. È equivalente ad un sequente senza antecedente.
Ad esempio, data la proposizione p = "x è un numero pari", la seguente implicazione è vera:
( ⊢ ⊢ --> p ) → → --> ( x ( mod 2 ) ≡ ≡ --> 0 ) {\displaystyle (\vdash p)\rightarrow (x{\pmod {2}}\equiv 0)}
