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
.