Выберите условия, которые должны обязательно выполняться, чтобы не возникла коллизия предметных переменных в формулах исчисления предикатов
- В формуле свободные и связанные предметные переменные должны быть обозначены одинаковыми буквами
- В формуле свободные и связанные предметные переменные должны быть обозначены разными буквами
- Если какой-либо квантор находится в области действия другого квантора, то предметные переменные, связанные этими квантами, должны быть обозначены одинаковыми буквами
- Если какой-либо квантор находится в области действия другого квантора, то предметные переменные, связанные этими квантами, должны быть обозначены разными буквами
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.