31. Количество всевозможных булевых функций одной переменных равно … Ответ: 4

32. Количество всевозможных булевых функций двух переменных равно … Ответ: 16

33. Количество всевозможных булевых функций трех переменных равно … Ответ: 256

34. Последовательно соединенным контактам РКС соответствует операция …

    1. Отрицание

    2. Конъюнкция (верно)

    3. Дизъюнкция

    4. Импликация

35. Параллельно соединенным контактам РКС соответствует операция …

    1. Отрицание

    2. Конъюнкция

    3. Дизъюнкция (верно)

    4. Импликация

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

называется …

1. Штрих Шеффера

2. Стрелка Пирса

3. Сложение по модулю два (верно)

4. Эквивалентность

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

называется …

1. Штрих Шеффера (верно)

2. Стрелка Пирса

3. Сложение по модулю два

4. Эквивалентность

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

называется …

1. Штрих Шеффера

2. Стрелка Пирса (верно)

3. Сложение по модулю два

4. Эквивалентность

1. Релейно-контактной схеме

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

1. 

2. 

3. (верно)

4. 

1. В виде формулы алгебры высказываний могут быть представлены …

   1. Все булевы функции кроме тождественно истинных

   2. Все булевы функции кроме тождественно ложных

   3. Произвольные булевы функции (верно)

   4. Булевы функции от двух переменных

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

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

1) 2)

3) (верно) 4)

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

1) (верно) 2)

3) 4)

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

1) 2)

3) 4) (верно)

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

    1. (верно)

    2. 

    3. (верно)

    4. 

    5. (верно)

    6. 

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

1) (верно) 2)

3) 4)

46. Доказуемой формулой исчисления высказываний не является

    1. Всякая аксиома исчисления высказываний

    2. Формула, полученная из доказуемой формулы, путем применения правила подстановки является доказуемой формулой

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

    4. Формула, выводимая из некоторой совокупности формул (верно)

47. - конечная совокупность формул исчисления высказываний. Отметьте все верные утверждения:

    1. Всякая формула является формулой, выводимой из Н. (верно)

    2. Всякая доказуемая формула выводима из Н. (верно)

    3. Всякая формула исчисления высказываний выводима из Н.

    4. Если формулыСиСВ выводимы из совокупности Н, то формулаВ также выводима из Н. (верно)

    5. Если формулыСиСВ выводимы из совокупности Н, то формулаВ также выводима из Н.

48. Выберите правило выводимости соответствующее теореме дедукции

1) 2)

3) (Верно) 4)

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

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

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

50. Логическое исчисление называется …, если в нем не доказуемы никакие две формулы, из которых одна является отрицанием другой.

    1. Независимым

    2. Полным

    3. Непротиворечивым (верно)

    4. Разрешимым

51. Аксиоматическое исчисление называется …, если добавление к списку его аксиом любой недоказуемой в исчислении формулы в качестве новой аксиомы приводит к противоречивому исчислению

    1. Полным в узком смысле (верно)

    2. Непротиворечивым

    3. Разрешимым

    4. Независимым

52. Аксиома называется …, если она не может быть выведена из остальных аксиом

    1. Непротиворечивой

    2. Независимой (верно)

    3. Полной

    4. Зависимой

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