Из перечисленных четырех операций исчисления предикатов: «квантор существования», «конъюнкция», «отрицание», «дизъюнкция» наибольший приоритет имеет операция
- отрицание
- дизъюнкция
- конъюнкция
- квантор существования
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.