A derivable rule is a logical rule that can be derived from the existing axioms and inference rules of a…