В приведенной формулекванторные выражения связывают следующие вхождения переменных (выберите все верные утверждения)
- "К1" связывает переменную "п2"
- "К1" связывает переменную "п3"
- "К1" связывает переменную "п4"
- "К2" связывает переменную "п1"
- "К2" связывает переменную "п5"
- "К3" связывает переменную "п4"
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.