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

Раздел
Математические дисциплины
Предмет
Тип
Просмотров
198
Покупок
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.Любая опровержимая формула логики предикатов не имеет предваренной нормальной формы.

Вам подходит эта работа?
Похожие работы
Логика
Тест Тест
14 Окт в 05:42
30
0 покупок
Логика
Контрольная работа Контрольная
26 Сен в 22:37
28
0 покупок
Логика
Контрольная работа Контрольная
22 Сен в 02:23
43
0 покупок
Другие работы автора
Информационные технологии
Тест Тест
2 Ноя в 09:36
26 +2
0 покупок
Цифровая обработка сигнала
Тест Тест
23 Окт в 11:08
37
0 покупок
Трудовое право
Тест Тест
23 Окт в 11:04
59
1 покупка
Юриспруденция
Тест Тест
22 Окт в 15:04
108 +1
0 покупок
Маркетинг
Тест Тест
21 Окт в 10:50
82
0 покупок
Маркетинг
Тест Тест
21 Окт в 10:39
113 +2
0 покупок
Интернет-маркетинг
Тест Тест
21 Окт в 10:35
31
0 покупок
Математическая статистика
Тест Тест
21 Окт в 10:05
57
0 покупок
АСУ - Автоматизированные системы управления
Тест Тест
17 Окт в 14:09
32
0 покупок
Английский язык
Тест Тест
17 Окт в 14:03
47 +1
0 покупок
Информационные системы
Тест Тест
17 Окт в 13:59
42
0 покупок
Экономика отрасли
Тест Тест
16 Окт в 11:50
38
1 покупка
Муниципальное управление
Тест Тест
15 Окт в 12:42
32
0 покупок
Английский язык
Тест Тест
15 Окт в 12:41
66 +1
0 покупок
Муниципальное управление
Тест Тест
15 Окт в 12:38
24
0 покупок
Государственное управление
Тест Тест
15 Окт в 12:36
38 +1
0 покупок
Искусство и культура
Тест Тест
15 Окт в 12:31
35
0 покупок
Темы журнала
Показать ещё
Прямой эфир