Определите вид модальности каждого суждения и запишите суждения

Данное простое суждение содержит эпистемическую (познавательную) модальность. Слово «установлено» соответствует модальному оператору «доказано» . Поэтому логическую форму данного суждения можно изобразить символически – Vp, где V– «доказано», p – само суждение.
Доказано, что между величиной потребностей и уровнем удовлетворённости собой существует обратно пропорциональная зависимость.