proper disjunctive proposition

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