Меню
Тесты
Тесты  /  Информатика  /  Прочее  /  Элементы математической логики

Элементы математической логики

Avatar
19.03.2018. Тест. Информатика, Прочее
Внимание! Все тесты в этом разделе разработаны пользователями сайта для собственного использования. Администрация сайта не проверяет возможные ошибки, которые могут встретиться в тестах.

Тест предназначен для проверки знаний студентов по теме "Элементы математической логики. Алгебра высказываний"

Список вопросов теста

Вопрос 1

Суждение - это...

Варианты ответов
  • простое повествовательное предложение, которое что-либо утверждает или отрицает и о котором можно судить, истинно оно или ложно
  • предложение, в котором связь понятий правильно отражает реальные свойства объекта
  • такое предложение, ни одна часть которого не является суждением.
Вопрос 2

Установите соответствие между логической операцией и порождающим ее союзом;

1. Инверсия

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

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

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

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

Варианты ответов
  • не
  • и
  • тогда и только тогда
  • если... то
  • или
Вопрос 3

Результатом логического выражения AB при А=0 и В=1 является

Варианты ответов
  • 0
  • 1
  • однозначно сказать нельзя
Вопрос 4

Результатом логического выражения AB при А=0 и В=0 является

Варианты ответов
  • 0
  • 1
  • однозначно сказать нельзя
Вопрос 5

Результатом логического выражения A^B при А=0 и В=0 является

Варианты ответов
  • 0
  • 1
  • однозначно сказать нельзя
Вопрос 6

Результатом логического выражения A^B при А=0 и В=0 является

Варианты ответов
  • 0
  • 1
  • однозначно сказать нельзя
Вопрос 7

Результатом логического выражения A^B при А=1 и В=1 является

Варианты ответов
  • 0
  • 1
  • однозначно сказать нельзя
Вопрос 8

Формулу алгебры высказываний называют тождественно истинной, если

Варианты ответов
  • она всегда принимает значение 1
  • она всегда принимает значение "ложь"
  • при всякой подстановке вместо всех ее пропозициональных переменныхлюбых конкретных значений формула принимает значение 1
Вопрос 9

Формулу алгебры высказываний называют тождественно ложной, если

Варианты ответов
  • она всегда принимает значение 1
  • она всегда принимает значение "ложь"
  • при всякой подстановке вместо всех ее пропозициональных переменных любых конкретных значений формула принимает значение 0
Вопрос 10

Формула A(¬AA) является

Варианты ответов
  • Выполнимой
  • Опровержимой
  • тождественно истинной
  • Противоречием
Вопрос 11

Формула  P(PQ) равносильна

Варианты ответов
  • Q
  • P^Q
  • P
  • нет правильного ответа
Вопрос 12

Формула  PV(PQ) равносильна

Варианты ответов
  • Q
  • P^Q
  • P
  • нет правильного ответа
Вопрос 13

Формула PQ равносильна PQ

Варианты ответов
  • нет
  • да
Вопрос 14

Конъюнкция - это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание,

Варианты ответов
  • являющееся истинным тогда и только тогда, когда оба исходных высказывания истинны.
  • являющееся истинным тогда и только тогда, когда оба исходных высказывания ложны
  • являющееся истинным тогда когда одно исходное высказывание ложно, а другое истинно
  • нет верного ответа
Вопрос 15

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

Варианты ответов
  • когда оба исходных высказывания ложны
  • когда хотя бы одно из двух образующих его высказываний истинно.
  • оба ответа верны
  • оба ответа неверны
Вопрос 16

Формулы  ¬(AB) и ¬A¬B являются

Варианты ответов
  • равносильными
  • выполнимыми
  • тождественно ложными
Пройти тест
Сохранить у себя:

Комментарии 0

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