The disjunction introduction rule states that from any single proposition, one can infer a disjunction including that proposition and any…