Definition
Derivable Consequent
A consequent is called derivable if there exists a proof of it from the premises.
In a sequent, this is written as .
Derivable Consequent
A consequent is called derivable if there exists a proof of it from the premises.
In a sequent, this is written as .