Definition of "derivable"

derivable