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