Главная / Основы дискретной математики / Для следующей формулы определить, какие из занумерованных вхождений переменных свободны (F), а какие являются связанными (C). \begin{array}{llllllllll} (\forall x(P(x,y) & \rightarrow & \exists y(\forall z(Q(x,y,z) &\rightarrow & P(x,z)) &

Для следующей формулы определить, какие из занумерованных вхождений переменных свободны (F), а какие являются связанными (C). \begin{array}{llllllllll} (\forall x(P(x,y) & \rightarrow & \exists y(\forall z(Q(x,y,z) &\rightarrow & P(x,z)) &\rightarrow & P(z,y))) & \rightarrow & Q(x,y,z)) \\ \phantom{ (\forall x(P(}1\phantom{,}2 & & \phantom{\exists y(\forall z(Q(}3\phantom{,y,}4 & & \phantom{P(x,}5 & & \phantom{P(}6\phantom{,} 7& & \phantom{Q(}8\phantom{,}9\end{array}

вопрос

Правильный ответ:

F={2,3,5,6,9} C= {1, 4,7,8}
F={1,5,8,9} C= {2, 4,6,7}
F={2,6,8,9} C= {1,3,4,5,7}
F={2,5,7,8,9} C= {1,4,6}
F={2,6,8,9} C= {1,4,5,7}
Сложность вопроса
75
Сложность курса: Основы дискретной математики
82
Оценить вопрос
Очень сложно
Сложно
Средне
Легко
Очень легко
Комментарии:
Аноним
Экзамен прошёл на 4. Спасибо сайту
08 ноя 2019
Аноним
Это очень заурядный решебник по интуиту.
17 янв 2018
Аноним
Я преподаватель! Незамедлительно заблокируйте ответы intuit. Пожалуйста
31 авг 2017
Оставить комментарий
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.