Главная /
Основы дискретной математики /
Пусть на множестве V= {a, b, c , d , e} задан двухместный предикат R = {(a,b),(b,c), (b,e), (c, a), (c,d), (d,a), (d,b), (e,d) }. Какие из следующих замкнутых формул будут истинны на системе G = <V; R>? ∃x ∀y ((y = x) ∨ R(y,x) ∨ ∃u(R(y,u) ∧ R(u,x)))
Пусть на множестве V= {a, b, c , d , e}
задан двухместный предикат
R = {(a,b),(b,c), (b,e), (c, a), (c,d), (d,a), (d,b), (e,d) }
. Какие из следующих замкнутых формул будут истинны на системе G = <V; R>
?
∃x ∀y ((y = x) ∨ R(y,x) ∨ ∃u(R(y,u) ∧ R(u,x)))
∃ x ∀y (¬ (y = x) → ( R(x,y) ∨ ∃u(R(x,u) ∧ R(u,y))))
∀x ∀y ((y = x) ∨ R(y,x) ∨ ∃u(R(y,u) ∧ R(u,x)))
вопрос
∃x ∀y ((y = x) ∨ R(y,x) ∨ ∃u(R(y,u) ∧ R(u,x)))
∃ x ∀y (¬ (y = x) → ( R(x,y) ∨ ∃u(R(x,u) ∧ R(u,y))))
∀x ∀y ((y = x) ∨ R(y,x) ∨ ∃u(R(y,u) ∧ R(u,x)))
Правильный ответ:
только 1
1 и 2
1 и 3
только 2
2 и 3
Сложность вопроса
50
Сложность курса: Основы дискретной математики
82
Оценить вопрос
Комментарии:
Аноним
Это очень легкий вопрос по интуиту.
29 апр 2020
Аноним
Какой студент ищет вот эти ответы с интуитом? Это же элементарно (я не ботан)
21 апр 2017
Аноним
Это очень нехитрый тест интуит.
01 мар 2016
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
- # Какие из следующих утверждений о работе алгоритма Дейкстры верны? А) Если в графе нет циклов отрицательной длины, то алгоритм Дейкстры работает верно.Б) На каждом этапе алгоритма Дейкстры кратчайший путь из исходной вершины в любую вершину множества S не короче кратчайшего пути из исходной вершины в любую вершину множества (V \ S).В) Если длины всех ребер в графе попарно различны, то дерево кратчайших путей из заданной вершины единственно.
- # Какие из следующих формул являются тождественно истинными? ,,,
- # Какие из следующих монотонных элементарных конъюнкций входят в многочлен Жегалкина для функции f(X,Y,Z), заданной следующей последовательностью 8 нулей и единиц: f= (0001 0111). I) X*Y, II) X, III) Y, IV) X*Z, V) X*Y*Z, VI) Y*Z
- # Какие из следующих формул задают немонотонные функции: A= (Y →¬X) → ( Y ∧ Z), B = ((¬ X∧ Z) →( Y∧ ¬Z)) ∧ Y, C= X +Y + Y*Z +X*Y*Z
- # Пусть F = ∀y ∃xP(x,y,z) → ∀z∃x Q(x,y,z). Какие из следующих формул являются предваренными формами эквивалентными F? A= ∀q ∃p ∃ x∃u ( P(u,p,z) → Q(x,y,q) )B= ∀q ∃x ∃p∀u ( P(u,p,z) → Q(x,y,q) )C= ∃p ∀q∀u ∃x ( P(u,p,z) → Q(x,y,q) )