1.

Формальная арифметика обладает следующими свойствами:

a. Полнотой и непротиворечивостью
b. Только непротиворечивостью, но не полнотой
c. Только полнотой, но не противоречивостью
d. Полнотой, непротиворечивостью и независмостью системы аксиом

2. Непротиворечивость теории предполагает:

a. Что в ней не могут быть доказаны одновременно высказывание и его отрицание
b. Что в ней должно быть доказуемо любое корректно формулированное высказывание или
его отрицание
c. Что ни одна из аксиом этой теории не может быть выведена из другой
d. Что ни одна из теорем этой теории не может быть выведена из другой
3. Полнота теории предполагает:
a. Что в ней не могут быть доказаны одновременно высказывание и его отрицание
b. Что в ней должно быть доказуемо любое корректно формулированное высказывание
или его отрицание
c. Что ни одна из аксиом этой теории не может быть выведена из другой
d. Что ни одна из теорем этой теории не может быть выведена из другой
4. Независимость системы аксиом
a. Что в ней не могут быть доказаны одновременно высказывание и его отрицание
b. Что в ней должно быть доказуемо любое корректно формулированное высказывание или
его отрицание
c. Что ни одна из аксиом этой теории не может быть выведена из другой
d. Что ни одна из теорем этой теории не может быть выведена из другой

5. Аксиоматическая теория считается определенной, если имеются :

a. Множество символов теории, множество формул, множество аксиом, множество
правил вывода

b. Множество символов теории, множество аксиом, множество правил вывода

c. Множество символов теории, множество формул, множество аксиом
d. Множество символов теории, множество формул, множество правил вывода
6. Следующие символы входят в алфавит логики предикатов
a. Предметные константы, предметные переменные, функциональные константы,
предикатные константы
b. Предметные константы, функциональные константы, предикатные константы
c. Предметные константы, предметные переменные, предикатные константы
d. Предметные константы, предметные переменные.

7. Для величин, измеряемых по номинальной шкалы возможны:

a. Логическое отношение равенства
b. Логические отношения равенства и отношения «больше/меньше»
c. Логические отношения равенства и отношения «больше/меньше» Логические отношения
равенства и отношения «больше/меньше», операции сложения и вычитания
d. Логические отношения равенства и отношения «больше/меньше», операции сложения и
вычитания, умножения и деления.
 1) Отношением эквивалентности называется:
a. Рефлексивное симметричное транзитивное отношение
b. Рефлексивное симметричное отношение
c. Рефлексивное отношение
d. Иррефлексивное транзитивное отношение

2) Отношение строгого порядка - это:

a. Рефлексивное симметричное транзитивное отношение
b. Рефлексивное симметричное отношение
с. Иррефлексивное транзитивное отношение
d. Рефлексивное транзитивное отношение

3) Отношение нестрогого порядка - это:

a. Рефлексивное симметричное транзитивное отношение
b. Рефлексивное отношение
с. Иррефлексивное транзитивное отношение
d. Рефлексивное транзитивное отношение

4) К примерам отношения эквивалентности относится:

a. Арифметическое равенство
b. Строгое неравенство
c. Нестрогое неравенство
d. Перпендикулярность прямых на плоскости

5) К примерам отношения строгого порядка относится

a. Арифметическое равенство
b. Строгое неравенство
c. Нестрогое неравенство
d. Перпендикулярность прямых на плоскости.

6) К примерам отношения нестрогого порядка относится

a. Арифметическое равенство
b. Строгое неравенство
c. Нестрогое неравенство
d. Перпендикулярность прямых на плоскости.

7) Равенство множеств – это отношение:

a. Иррефлексивное
b. Симметричное
c. Антисимметричное
d. Асимметричное

8) Бинарное отношение R, определённое на некотором множестве и отличающееся тем, что для

любого x этого множества элемент x находится в отношении R к самому себе –это:
a. Рефлексивное отнношение
 b. Симметричное отношение
c. Транзитивное отношение
d. Иррефлексивное отношение
9) Бинарное отношение R, определённое на некотором множестве и отличающееся тем, что для
любых x и y этого множества из того, что x находится к y в отношении R, следует, что и y
находится в том же отношении к x – это:
a) Рефлексивное отношение
b) Симметричное отношение
c) Транзитивное отношение
d) Иррефлексивное отношение
10) Бинарное отношение R, определённое на некотором множестве и отличающееся тем, что для
любого элемента x этого множества неверно, что оно находится в отношении R к самому себе
– это:
a) Рефлексивное отношение
b) Симметричное отношение
c) Транзитивное отношение
d) Иррефлексивное отношение

12.Может ли бинарное отношение быть одновременно симметричным и антисимметричным:

a) В некоторых случаях может

b) Антисимметричное отношение всегда является симметричным
c) Симметричное отношение всегда является антисимметричным
d) Не может

13. «Разрешено» относится к:

a) Алетическим модальностям
b) Эпистемическим модальностям
c) Деонтическим модальностям
d) Аксиологическим модальностям

14. «Случайно» относится к:

a) Алетическим модальностям
b) Эпистемическим модальностям
c) Деонтическим модальностям
d) Аксиологическим модальностям

Задания с открытым ответом

15. Кто является создателем интуиционистской логики (фамилия без инициалов):

(Брейер)

16. Автором семантической теории истины является (фамилия без инициалов):

(Тарский)

17. Кто доказал теорему о неполноте формальной арифметики (фамилия без инициалов):
(Гёдель)

21. Свойство бинарной операции заключающееся в возможности перестановки аргументов - это:

(коммутативность)

22. Дистрибутивна ли конъюнкция относительно дизъюнкции (да, нет):

(да)

23. Реляционную семантику разработал (фамилия без инициалов):

(Крипке).