Математическая логика модуль 1 — ответы

Ответы на модуль 1 (МАТЕМАТИЧЕСКАЯ ЛОГИКА) по предмету математическая логика.

1) Какая из перечисленных функций называется предикатом? функция, переменные которой принимают значения из некоторого произвольного множества M или множеств, возможно, и бесконечных, а сама функция принимает два значения: «истина» и «ложь».

2) Как называется булева функция, если ее можно представить в виде полинома Жегалкина степени не выше первой? линейной.

3) Как называется прием, в результате которого из некоторых данных формул получают их частные случаи? подстановкой.

4) Какая операция называется сколемизацией? операция исключения квантора существования.

5) Что из перечисленного является одноместным предикатом? свойство.

6) Как называется формула , если существуют такие конкретные высказывания , которые превращают данную формулу в ложное высказывание? опровержимой.

7) Как называется логическая операция, соответствующая союзу «если, … то»? импликацией.

8) У какой логической операции левый член называется антецедентом, а правый — консеквентом? у импликации.

9) Как называется перевод высказывания естественного языка на символический язык? формализацией.

10) Как называется класс булевых функций, если он вместе со всеми своими функциями содержит любую их суперпозицию? замкнутым.

11) Какой из перечисленных модусов условно-категоричных силлогизмов является неправильным?  1

12) Какая из перечисленных операций является одноместной? дополнение.

13) При каком способе задания переключательная функция задается с помощью соответствующей отметки вершин n-мерного куба? при геометрическом способе задания.

14) Как называется предикат, у которого множество истинностей является пересечением множеств истинности исходных предикатов? конъюнкцией предикатов.

15) Как называются символы функций и предикатов? сигнатурой.

16) Укажите правило отыскания совершенной дизъюнктивной нормальной формы для формулы? нужно выбрать все те наборы значений переменных, на которых формула принимает значение 1; для каждого такого набора выписать совершенный конъюнктивный одночлен, принимающий значение 1 на этом наборе и только на нем; полученные совершенные конъюнктивные одночлены соединить знаками дизъюнкции.

17) Какая из перечисленных бинарных логических операций называется конъюнкцией? соединяющая две двоичные переменные a и b, принадлежащие множеству {0, 1}, в такую переключательную функцию c, которая равна 1 только тогда, когда равны 1 обе переменные.

18) Какая из перечисленных записей описывает второй закон Аристотеля — противоречия?  2

19) Как называют любую элементарную формулу или ее отрицание? литералом.

20) В каком случае дизъюнкция двух предикатов есть выполнимый предикат? тогда и только тогда, когда по меньшей мере один из данных предикатов выполним.

21) В каком случае силлогизм является условным? если обе посылки и вывод — условные высказывания.

22) Какие из перечисленных записей являются законами де Моргана? (x ∨ y)′ = x′ ∙ y′, (x ∙ y)′ = x′ ∨ y′.

23) Как называется множество, элементы которого являются элементами множеств A и B? пересечением множеств A и B.

24) В каком случае класс булевых функций называется собственным? если он не пуст и не совпадает с классом всех булевых функций.

25) Как называется возникающее исчисление предикатов, если в сигнатуре отсутствуют функциональные символы? чистым исчислением предикатов.

Оцените статью
Добавить комментарий