Дискретная математика

<<- Назад к вопросам

Какая из формул исчисления предикатов выражает тот факт, что в множестве М, в котором определен частичный порядок, не существует минимального элемента?

(Отметьте один правильный вариант ответа.)

Варианты ответа

∀x∃y((x∈M)&(y∈M)&(y<x))

∀x∃y(x∈M→((y∈M)&(y<x))) (Верный ответ)

∀x∃y((x∈M)∨((y∈M)&(y<x)))

Похожие вопросы

Какая из формул исчисления предикатов выражает тот факт, что в множестве М, в котором определен частичный порядок, не существует максимального элемента?

Перейти

Какая из формул исчисления предикатов выражает тот факт, что в множестве М, в котором определен частичный порядок, существует максимальный элемент?

Перейти

В таблице приведены три функции f₁, f₂, f₃ от переменных x, y, z:

x	y	z	f₁	f₂	f₃
0	0	0	0	1	0
0	0	1	0	1	0
0	1	0	0	0	0
0	1	1	0	0	0
1	0	0	0	0	1
1	0	1	1	0	1
1	1	0	1	1	0
1	1	1	1	1	1

Какие из этих функций функционально полны в слабом смысле?

Перейти

В таблице приведены три функции f₁, f₂, f₃ от переменных x, y, z:

x	y	z	f₁	f₂	f₃
0	0	0	0	0	0
0	0	1	0	1	0
0	1	0	0	1	0
0	1	1	1	0	1
1	0	0	0	1	1
1	0	1	0	0	1
1	1	0	1	0	0
1	1	1	1	1	1

Какие из этих функций функционально полны в слабом смысле?

Перейти

В таблице приведены три функции f₁, f₂, f₃ от переменных x, y, z:

x	y	z	f₁	f₂	f₃
0	0	0	0	1	0
0	0	1	0	0	0
0	1	0	0	0	0
0	1	1	1	1	0
1	0	0	0	1	1
1	0	1	1	0	0
1	1	0	0	0	1
1	1	1	1	1	1

Какие из этих функций функционально полны в слабом смысле?

Перейти

В таблице приведены три функции f₁, f₂, f₃ от переменных x, y, z:

x	y	z	f₁	f₂	f₃
0	0	0	0	0	1
0	0	1	1	1	0
0	1	0	1	0	0
0	1	1	0	1	1
1	0	0	1	1	1
1	0	1	1	0	0
1	1	0	1	1	0
1	1	1	0	0	1

Какие из этих функций содержат несущественные переменные?

Перейти

В таблице приведены три функции f₁, f₂, f₃ от переменных x, y, z:

x	y	z	f₁	f₂	f₃
0	0	0	0	1	0
0	0	1	1	1	1
0	1	0	1	0	1
0	1	1	0	1	0
1	0	0	1	1	0
1	0	1	0	1	1
1	1	0	0	0	1
1	1	1	1	1	0

Какие из этих функций содержат несущественные переменные?

Перейти

В таблице приведены три функции f₁, f₂, f₃ от переменных x, y, z:

x	y	z	f₁	f₂	f₃
0	0	0	1	1	1
0	0	1	0	0	1
0	1	0	0	1	1
0	1	1	1	0	1
1	0	0	0	1	0
1	0	1	0	0	0
1	1	0	0	1	1
1	1	1	1	0	1

Какие из этих функций содержат несущественные переменные?

Перейти

На множестве A = {a,b,c,d} задано бинарное отношение R = {(a,b),(a,c),(b,c),(c,d)}. Какие пары нужно добавить к R, чтобы получить его транзитивное замыкание?

Перейти

На множестве A = {a,b,c,d} задано бинарное отношение R = {(a,b),(b,c),(b,d)}. Какие пары нужно добавить к R, чтобы получить его транзитивное замыкание?

Перейти