A valid deductive argument form where if a disjunction (P or Q) is true and one disjunct (P) is false,…