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

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

вопрос

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

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