Элементы математической логики
Тест предназначен для проверки знаний студентов по теме "Элементы математической логики. Алгебра высказываний"
Список вопросов теста
Вопрос 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
Формула является
Варианты ответов
- Выполнимой
- Опровержимой
- тождественно истинной
- Противоречием
Вопрос 11
Формула равносильна
Варианты ответов
- Q
- P^Q
- P
- нет правильного ответа
Вопрос 12
Формула равносильна
Варианты ответов
- Q
- P^Q
- P
- нет правильного ответа
Вопрос 13
Формула равносильна
Варианты ответов
- нет
- да
Вопрос 14
Конъюнкция - это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание,
Варианты ответов
- являющееся истинным тогда и только тогда, когда оба исходных высказывания истинны.
- являющееся истинным тогда и только тогда, когда оба исходных высказывания ложны
- являющееся истинным тогда когда одно исходное высказывание ложно, а другое истинно
- нет верного ответа
Вопрос 15
Дизъюнкция - это логическая операция, которая каждым двум простым высказываниям ставит в соответствие составное высказывание, являющееся ложным тогда и только тогда,
Варианты ответов
- когда оба исходных высказывания ложны
- когда хотя бы одно из двух образующих его высказываний истинно.
- оба ответа верны
- оба ответа неверны
Вопрос 16
Формулы являются
Варианты ответов
- равносильными
- выполнимыми
- тождественно ложными


