Тесты­

Тесты­

Алгебра высказываний

Выделите все утверждения, являющиеся высказываниями:
а)
б) (верно)
в) (верно)
г) Выберите высказывание:
а)
б) Студент Армавирского государственного педагогического университета
в) Соблюдайте правила дорожного движения
г) Все простые числа нечетны (верно) Установите соответствие между высказываниями и их отрицаниями:
1) 6 > 3 1) 6 ≠ 3
2) 6 = 3 2) 6 < 3
3) 6 ≤ 3 3) 6 ≤ 3
4) 6 > 3
Ответ: 1 – 3; 2 – 1; 3 – 4 Укажите пару высказываний, являющихся отрицаниями друг друга
а) «5 < 10», «5 > 10»
б) «функция f – четная», «функция f – не четная»
в) «», «» (верно)
г) «Все простые числа нечетны», «Все простые числа четны» Таблица истинности конъюнкции имеет вид:

(верно)

6.  Таблица истинности дизъюнкции имеет вид:

(верно)

7.  Таблица истинности импликации имеет вид:

(верно)

8.  Таблица истинности эквивалентности имеет вид

(верно)

Формулы алгебры высказываний

Укажите последовательность символов, являющуюся формулой алгебры высказываний:
а) (верно)
б)
в)
г) Упорядочить логические операции в соответствии с их приоритетом
1) конъюнкция
2) отрицание
3) импликация
4) дизъюнкция
Ответ: отрицание; конъюнкция; дизъюнкция; импликация Формула алгебры высказываний называется …, если она обращается в истинное высказывание при всех наборах значений пропозициональных переменных
1) выполнимой
2) тождественной истинной (верно)
3) тождественно ложной
4) опровержимой Выберите набор значений пропозициональных переменных, на котором формула алгебры высказываний принимает значение 0:
1) (верно) 2)
3) 4) Укажите тождественно ложную формулу алгебры высказываний:
1) 2) (верно)
3) 4) Укажите тождественно истинную формулу алгебры высказываний:
1) (верно) 2)
3) 4)

Равносильность формул алгебры высказываний

Установите соответствие между тавтологиями и их названиями:
1) 1) закон двойного отрицания
2) 2) закон де Моргана
3) 3) закон исключенного третьего
4) закон тождества
Ответ: 1 – 3; 2 – 4; 3 – 1. Установите соответствие между равносильными формулами алгебры высказываний:
1) 1)
2) 2)
3) 3)
4)
Ответ: 1 – 4; 2 – 2; 3 – 1. Из приведенныхравносильностей выберите закон поглощения:
1) 2)
3) (верно) 4) Из приведенных формул алгебры высказываний выберите закон контрапозиции:
1) (верно) 2)
3) 4) Из приведенныхравносильностей выберите законы де Моргана:
1) (верно) 2)
3) (верно) 4) Тавтология определяет свойство …
1) идемпотентность конъюнкции
2) коммутативность конъюнкции
3) ассоциативность конъюнкции (верно)
4) дистрибутивность конъюнкции относительно дизъюнкции

Нормальные формы для формул алгебры высказываний

СКН-форма не существует у формулы алгебры высказываний, если она …
1) тождественно истинная (верно)
2) тождественно ложная
3) выполнимая
4) опровержимая СДН-форма не существует у формулы алгебры высказываний, если она …
1) тождественно истинная
2) тождественно ложная (верно)
3) выполнимая
4) опровержимая

23.  По набору значений переменных (0, 1) укажите конъюнктивный одночлен, принимающий значение 1 только на этом наборе значений переменных:
1) 2) (верно)
3) 4)

По набору значений переменных (1, 0) укажите дизъюнктивный одночлен, принимающий значение 0 только на этом наборе значений переменных:
1) 2) (верно)
3) 4) Среди формул алгебры высказываний выберите ДН-форму:
1) 2) (верно)
3) 4) Среди формул алгебры высказываний выберите КН-форму:
1) 2)
3) (верно) 4) Среди формул алгебры высказываний выберите СКН-форму:
1) 2)
3) 4) (верно) Среди формул алгебры высказываний выберите СДН-форму:
1) 2) (верно)
3) 4) Укажите СКН-форму, удовлетворяющую условиям :
1) 2)
3) (верно) 4) Укажите СДН-форму, удовлетворяющую условиям :
1) (верно) 2)
3) 4) X

Булевы функции

Количество всевозможных булевых функций одной переменных равно …
Ответ: 4 Количество всевозможных булевых функций двух переменных равно …
Ответ: 16 Количество всевозможных булевых функций трех переменных равно …
Ответ: 256 Последовательно соединенным контактам РКС соответствует операция … Отрицание Конъюнкция (верно) Дизъюнкция Импликация Параллельно соединенным контактам РКС соответствует операция … Отрицание Конъюнкция Дизъюнкция (верно) Импликация

36.  Булева функция, заданная по правилу

называется …

Штрих Шеффера Стрелка Пирса Сложение по модулю два (верно) Эквивалентность Булева функция, заданная по правилу

называется …

Штрих Шеффера (верно) Стрелка Пирса Сложение по модулю два Эквивалентность

38.  Булева функция, заданная по правилу

называется …

Штрих Шеффера Стрелка Пирса (верно) Сложение по модулю два Эквивалентность Релейно-контактной схеме

соответствует функция проводимости

(верно) В виде формулы алгебры высказываний могут быть представлены … Все булевы функции кроме тождественно истинных Все булевы функции кроме тождественно ложных Произвольные булевы функции (верно) Булевы функции от двух переменных

Исчисление высказываний

Выберите схематическую запись, соответствующую правилу заключения в исчислении высказываний

1) 2)

3) (верно) 4)

Выберите схематическую запись, соответствующую правилу подстановки в исчислении высказываний

1) (верно) 2)

3) 4)

Выберите схематическую запись, соответствующую правилу контрапозиции в исчислении высказываний

1) 2)

3) 4) (верно)

Выберите формулы исчисления высказываний, являющиеся аксиомами исчисления высказываний: (верно) (верно) (верно) Выберите формулу исчисления высказываний, являющуюся аксиомой исчисления высказываний

1) (верно) 2)

3) 4)

Доказуемой формулой исчисления высказываний не является Всякая аксиома исчисления высказываний Формула, полученная из доказуемой формулы, путем применения правила подстановки является доказуемой формулой Формула, полученная из доказуемых формул, путем применения правила заключения является доказуемой формулой Формула, выводимая из некоторой совокупности формул (верно) - конечная совокупность формул исчисления высказываний. Отметьте все верные утверждения: Всякая формула является формулой, выводимой из Н. (верно) Всякая доказуемая формула выводима из Н. (верно) Всякая формула исчисления высказываний выводима из Н. Если формулыСиѮ выводимы из совокупности Н, то формулаВ также выводима из Н. (верно) Если формулыСиѫ выводимы из совокупности Н, то формулаВ также выводима из Н. Выберите правило выводимости соответствующее теореме дедукции

1) 2)

3) (верно) 4)

Каждая формула, доказуемая в исчислении высказываний является … в алгебре высказываний

1) Тождественно ложной 2) Тождественно истинной (верно)

3) Выполнимой 4) Опровержимой

Логическое исчисление называется …, если в нем не доказуемы никакие две формулы, из которых одна является отрицанием другой. Независимым Полным Непротиворечивым (верно) Разрешимым Аксиоматическое исчисление называется …, если добавление к списку его аксиом любой недоказуемой в исчислении формулы в качестве новой аксиомы приводит к противоречивому исчислению Полным в узком смысле (верно) Непротиворечивым Разрешимым Независимым Аксиома называется …, если она не может быть выведена из остальных аксиом Непротиворечивой Независимой (верно) Полной Зависимой

Логика предикатов

Выберите предикат:
а) (верно)
б) Разделить на х
в)
г) Все простые числа нечетны Выберите истинное высказывание: (верно)

55.  Установите соответствие

1) Квантор общности	А)
2) Квантор существования	В)
3) Ограниченный квантор общности	С)
4) Ограниченный квантор существования	D)
	E)

Ответ: 1-С; 2-А; 3-В; 4-D

Множество истинности предиката , заданного на множестве

1) 2)

3) (верно) 4)

Множество истинности предиката , заданного на множествах

1) 2) (верно)

3) 4)

Укажите тождественно истинный предикат (верно) Установите соответствие между предикатами и их множествами истинности

1)	А)
2)	В)
	С)
	D)

Ответ: 1-С; 2-В

Для тождественно предиката , заданного на множествах установите соответствие

1) Тождественно истинный предикат	А)
2) Тождественно ложный предикат	В)
3) Выполнимый предикат	С)
4) Опровержимый предикат	D)
	E)

Ответ: 1-В; 2-А; 3-D; 4-E

Установите соответствие

1) Тождественно истинный предикат	А)
2) Тождественно ложный предикат	В)
3) Выполнимый предикат	С)
	D)

Ответ: 1-D; 2-A; 3-B

Упорядочить предикаты по количеству свободных переменных

1) 2)

3) 4)

Ответ: с; а; b; d

63.  Установите соответствие

1) Предикаты P и Q – равносильны	А)
2) Предикат Q является следствием предиката Р	В)
	С)
	D)

Ответ: 1-С; 2-А

Установите соответствие между равносильными предикатами

1)	А)
2)	В)
	С)

Ответ: 1-В; 2-С

Укажите пару предикатов, равносильных на множестве Z

1) , 2) ,

3) , (верно) 4) ,

Выберите множество так, чтобы над ним предикаты «х – простое число», «х – четное число» были равносильны Множество натуральных числе Множество четных чисел Множество простых чисел (верно) Следствием предиката , заданного на множестве целых чисел является предикат, заданный на множестве целых чисел

1) (верно) 2)

3) 4)

Из приведенных выражений выберите формулу логики предикатов

1) 2) (верно)

3) 4)

Если формула логики предикатов содержит только операции конъюнкции, дизъюнкции и кванторные операции, а операция отрицания отнесена к элементарным формулам, то говорят, что она имеет …

1) Нормальную форму (верно) 2) Совершенную нормальную форму

3) Предваренную нормальную форму 4) Общезначимую форму

Если в нормальной форме формулы логики предикатов кванторные операции или отсутствуют, или используются после всех операций алгебры высказываний, то говорят, что она имеет … Нормальную форму Совершенную нормальную форму Предваренную нормальную форму (верно) Общезначимую форму Формула логики предикатов называется общезначимой, если Существует область, на которой эта формула выполнима Она принимает истинные значения для всех значений переменных, входящих в эту формулу и отнесенных к конкретной области М Она тождественно истинная на всякой области (верно) Она выполнима на всякой области

Математические теории

Длина слова 010001 в алфавите равна …

Ответ: 6

Пусть T – некоторая теория. Пару , состоящую из алфавита и множества выражений теорииТ называют … Языком теорииТ (верно) ТеориейТ Алфавитом теорииТ Множеством выражений теорииТ Конечная последовательность высказываний рассматриваемой теории, каждое из которых либо является аксиомой, либо выводится из одного или более предыдущих высказываний этой последовательности по логическим правилам вывода называется …

Ответ: доказательством (доказательств#$#)

МатематическаятеорияТ называется категоричной, если … Все ее модели изоморфны (верно) Если она имеет интерпретацию Если она имеет модель Если она непротиворечивая и полная ТеорияТ называется …, если она не содержит такое высказывание S, что и S, и его отрицание являются теоремами. Противоречивой Непротиворечивой (верно) Несовместной Категоричной ТеорияТ называется …, если для любого высказывания S этой теории или S или есть теорема. Непротиворечивой Противоречивой Абсолютно полной (верно) Категоричной Из специальных аксиом теории натуральных чисел укажите схему аксиом, называемую принципом математической индукции (верно) Утверждение «В любой непротиворечивой формальной системе, содержащей минимум арифметики, а, следовательно, и в теории натуральных чисел, найдется формально неразрешимое суждение, т. е. такая замкнутая формула А, что ни А, ни не являются выводимыми в системе» называется Теоремой дедукции Теоремой Пеано Теоремой Гёделя о неполноте (верно) Теоремой Дедекинда Укажите правила вывода теории первого порядка Правило заключения, правило связывания квантором общности (верно) Правило заключения, правило подстановки Правило силлогизма, правило подстановки

Правило подстановки, правило контрапозиции