The deduction theorem states that if a statement can be derived from a set of premises plus an additional statement,…