Formal derivability
= Formal derivability
{title2=$\Gamma\vdash\phi$}
= Derivability
{synonym}
A conclusion is formally derivable from premises when a permitted <formal proof> exists with those premises as its undischarged assumptions. This is a syntactic relation, distinct from <semantic entailment>.