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

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

вопрос

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

F={2,3,7,8} C= {1, 4, 5, 6, 9}
F={1,3,7,8 } C= {2, 4,5, 6, 9}
F={2,6,8} C= {1,3,4,5,7,9}
F={2,3,7,8,9} C= {1,4,6}
F={2,7,8} C= {1,3,4,5,6,9}
Сложность вопроса
82
Сложность курса: Основы дискретной математики
82
Оценить вопрос
Очень сложно
Сложно
Средне
Легко
Очень легко
Комментарии:
Аноним
Кто гуглит данные ответы с интуитом? Это же очень простые ответы
24 окт 2017
Аноним
Это очень легкий тест по интуиту.
30 май 2016
Оставить комментарий
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.