Логика предикатов//ИРНИТУ

Раздел
Математические дисциплины
Предмет
Тип
Просмотров
200
Покупок
2
Антиплагиат
Не указан
Размещена
22 Фев 2023 в 11:07
ВУЗ
ИРНИТУ
Курс
2 курс
Стоимость
70 ₽
Файлы работы   
1
Каждая работа проверяется на плагиат, на момент публикации уникальность составляет не менее 40% по системе проверки eTXT.
docx
Логика предаканктов. ИРНИТУ
166.2 Кбайт 70 ₽
Описание

В купленной работе ответы выделены желтым цветом. Список вопросов в оглавлении

Оглавление

Найдите неверные утверждения.

Выберите один ответ:

a.Каждый не тождественно ложный предикат не будет тождественно истинным.

b.Каждый тождественно истинный предикат является выполнимым.

c.Каждый тождественно ложный предикат является опровержимым.

d.Каждый не тождественно истинный предикат будет выполнимым

Очистить мой выбор

Вопрос 2

Даны предикаты Р(х)= x имеет зачетную книжку и Q(x) = x является студентом. Формула, соответствующая выражению любой студент имеет зачетную книжку:

Выберите один ответ:

a.∀x(P(x)→→¬Q(x))

b.∃x(P(x)∧∧¬Q(x))

c.∀x(Q(x)→→P(x))

d.∃x(Q(x)¬Р(x))

e.∃x(Q(x)∧∧¬P(x))

Вопрос 3

Определенным на множествах M1, M2,..., Mn n - местным предикатом называется:

Выберите один ответ:

a.предложение с n переменными.

b.предложение с переменными, превращающееся в высказывание при замене этих переменных любыми конкретными значениями.

c.предложение, содержащее n переменных х1 х2,..., xn, превращающееся в высказывание при подстановке вместо этих переменных любых конкретных элементов из множеств M1, M2,..., Mn соответственно.


Вопрос 4

Формула логики предикатов называется общезначимой или тавтологией, если

a.любая ее интерпретация истина

b.при всякой подстановке вместо предикатных переменных любых конкретных предикатов, заданных на любых множествах, она превращается в тождественно истинный предикат.

c.при всякой подстановке вместо предикатных переменных любых конкретных предикатов, она превращается в тождественно истинный предикат.


Вопрос 5

Укажите равносильные предикаты, заданные на множестве R:


Вопрос 6

Найдите множества истинности следующего предиката, заданного на множестве M = {2,3, 4,6} "х делится на у"

Выберите один ответ:

a.{(4,2), (6,2), (6,3), (2,2), (3,3), (4,4), (6,6)}.

b.{(2,4), (2,6), (3,6), (2,2), (3,3), (4,4), (6,6)}

c.{(2,4), (3,6)}.


Вопрос 7

Для формулы логики предикатов найдите равносильную ей приведенную форму:

 

Вопрос 8

Приведенной формой для формулы логики предикатов называется

Выберите один ответ:

a.такая ей равносильная формула, в которой из операций алгебры высказываний имеются только операции —, ∧, V, причем знаки отрицания относятся лишь к предикатным переменным и к высказываниям.

b.такая ей равносильная формула, в которой имеются лишь операции — , ∧, V и кванторные операции

c.такая ей равносильная формула, в которой имеются операции — , ∧, V, причем знаки отрицания относятся лишь к предикатным переменным и к высказываниям.


Вопрос 9

Придайте формуле указанную интерпретацию и определите значение истинности полученного высказывания: ”Имя x состоит из 5 букв”, M = {Петр, Павел} у =Павел

Выберите один ответ:

a.высказывание ложно.

b.высказывание может быть как истинным, так и ложным.

c.высказывание истинно.


Вопрос 10

Среди данных утверждений выберите верные.

Выберите один ответ:

a.Для каждой формулы логики предикатов существует предваренная нормальная форма.

b.Не для каждой формулы логики предикатов существует приведенная форма.

c.Любая тождественно ложная формула логики предикатов не имеет предваренной нормальной формы.

d.Любая опровержимая формула логики предикатов не имеет предваренной нормальной формы.

Вам подходит эта работа?
Похожие работы
Логика
Тест Тест
9 Ноя в 22:50
42 +1
0 покупок
Логика
Реферат Реферат
6 Ноя в 10:20
21 +2
0 покупок
Логика
Контрольная работа Контрольная
3 Ноя в 19:23
20 +1
0 покупок
Логика
Тест Тест
3 Ноя в 18:32
25
0 покупок
Другие работы автора
Аудит
Тест Тест
13 Ноя в 14:21
18
0 покупок
Банковское дело
Тест Тест
13 Ноя в 14:15
28 +3
0 покупок
Теория организации
Тест Тест
12 Ноя в 15:26
15
0 покупок
Маркетинг
Тест Тест
12 Ноя в 13:02
20
0 покупок
Административное право
Тест Тест
12 Ноя в 12:58
12
0 покупок
История государства и права
Тест Тест
11 Ноя в 11:59
52 +2
0 покупок
Информационные технологии
Тест Тест
11 Ноя в 10:36
40
0 покупок
Экономическая безопасность
Тест Тест
8 Ноя в 15:23
39
0 покупок
Менеджмент
Задача Задача
6 Ноя в 10:48
73
0 покупок
Менеджмент
Тест Тест
5 Ноя в 14:49
46
0 покупок
Общая психология
Тест Тест
5 Ноя в 10:15
58
0 покупок
Общая психология
Тест Тест
5 Ноя в 10:13
52
0 покупок
Общая психология
Тест Тест
5 Ноя в 10:10
47
0 покупок
Общая психология
Тест Тест
5 Ноя в 10:08
54 +1
0 покупок
Общая психология
Тест Тест
5 Ноя в 10:05
43
0 покупок
Общая психология
Тест Тест
5 Ноя в 09:59
72 +2
0 покупок
Общая психология
Тест Тест
5 Ноя в 09:56
36
0 покупок
Общая психология
Тест Тест
5 Ноя в 09:53
49
0 покупок
Темы журнала
Показать ещё
Прямой эфир