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