disjunctive proposition

[ریاضیات] قضیه ی شرطیه ی منفصله