Главная /
Основы дискретной математики /
Для следующей формулы определить, какие из занумерованных вхождений переменных свободны (F), а какие являются связанными (C). \begin{array}{llllllllll} ((\forall xP(x,y) & \rightarrow & \exists z (\forall y(Q(x,y,z) &\wedge &P(x,z)) &\
Для следующей формулы определить, какие из занумерованных вхождений переменных свободны (F)
, а какие являются связанными (C)
.
вопрос
Правильный ответ:
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
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
- # На множестве всех непустых отрезков числовой прямой определены три отношения: R = { ([a, b], [c, d]) | a< c < d < b}, P = { ([a, b], [c, d]) | c <a < d < b} и Q = { ([a, b], [c, d]) | b < c} Какие из них являются отношениями частичного порядка.
- # Какое из следующих перечислений вершин бинарного дерева T: [Большая Картинка] представляет его обход в инфиксном порядке?
- # Какие из следующих формул являются тождественно истинными? ,,,
- # Какие из следующих формул логики предикатов являются тождественно истинными? ( ∀x P(x) ∧ ∀x Q(x) ) → ∀x ( P(x) ∧ Q(x) )∀x ( P(x) ∧ Q(x) ) → ( ∀x P(x) ∧ ∀x Q(x) )(∃x P(x) ∧ ∃x Q(x) ) → ∃x ( P(x) ∧ Q(x) )
- # Пусть база данных включает отношение Счет(Номер,Товар,Дата,Сумма). Укажите, какие из приведенных формул логики предикатов выражают следующее ограничение целостности: атрибут Номер является ключом отношения. Ф1 = ∀n∃t∃d∃s (Счет (n,t,d,s) → ∃t1∃d1∃s1 (Счет (n,t1,d1,s1) → (t=t1 ∧ d=d1 ∧ s=s1)))Ф2 = ∀n∀t∀d∀s∀n1∀t1∀d1∀s1 ((Счет (n,t,d,s) ∧ Счет (n1,t1,d1,s1) ∧ (t≠t1 ∨ d≠d1 ∨ s≠s1)) → (n ≠ n1))Ф3 = ∀n∀t∀d∀s∀t1∀d1∀s1 ((Счет (n,t,d,s) ∧ (Счет (n,t1,d1,s1)) → (t=t1 ∧ d=d1 ∧ s=s1)))