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