Основы логики

Основоположник формальной логики

• Аристотель
• Джордж Буль
• Клод Шеннон
• Лейбниц

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

• Аристотель
• Джордж Буль
• Клод Шеннон
• Конрад Цузе

Предложение на любом языке, содержание которого можно однозначно определить как истинное или ложное

• Высказывание
• Умозаключение
• Суждение
• Понятие

Какое предложение не является высказыванием?

• Зимой идет дождь
• Снегири живут в Крыму
• У треугольника 5 сторон
• Запишите домашнее задание

Какое предложение является высказыванием?

• Кто к нам пришел?
• Как пройти в библиотеку?
• Переведите число в десятичную систему.
• Основание двоичной системы счисления - 2.

Если высказывание истинно, то значение соответствующей ему логической переменной обозначают

• единицей
• двойкой
• нулем
• буквой А

Если высказывание ложно, то значение соответствующей ему логической переменной обозначают 

• единицей
• нулем
• буквой А
• буквой В

Логическая операция, ставящая в соответствие каждым двум высказываниям новое высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания истинны

• Конъюнкция
• Дизъюнкция
• Отрицание
• Инверсия

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

• Конъюнкция
• Дизъюнкция
• Отрицание
• Инверсия

Логическая операция, которая каждому высказыванию ставит в соответствие новое высказывание, значение которого противоположно исходному

• Конъюнкция
• Дизъюнкция
• Инверсия
• Следование