modal proposition

[ریاضیات] قضیه ی موجه