Логические основы компьютеров 1. Алгебра логики
Создателем алгебры логики является живший в ХIХ веке английский математик Джордж Буль, в честь которого эта алгебра названа булевой алгеброй высказываний.
1. Алгебра логики Логическое высказывание это любое повествовательное пpедлoжение, в oтнoшении кoтopoгo можно oднoзначнo сказать, истинно oнo или лoжнo.
1. Алгебра логики Не всякое предложение является логическим высказыванием. Высказываниями не являются, например, предложения ученик десятого класса и информатика интересный предмет. Первое предложение ничего не утверждает об ученике, а второе использует слишком неопределённое понятие интересный предмет. Вопросительные и восклицательные предложения также не являются высказываниями, поскольку говорить об их истинности или ложности не имеет смысла
1. Алгебра логики Установите, какие из следующих предложений являются логическими высказываниями, а какие нет (объясните почему):
1. Алгебра логики Предложение Солнце есть спутник Земли является логическим высказыванием или нет?
1. Алгебра логики Предложение 2+3x4 является логическим высказыванием или нет?
1. Алгебра логики Предложение Сегодня отличная погода является логическим высказыванием или нет?
1. Алгебра логики Предложение 9 х 9 = 81 является логическим высказыванием или нет?
1. Алгебра логики Предложение Если сумма квадратов катетов треугольника равна квадрату гипотенузы, то он прямоугольный является логическим высказыванием или нет?
Логические основы компьютеров 2. Алгебра высказываний.
Высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения: «истина» (1) и «ложь» (0). НАПРИМЕР: А=«Два умножить на два равно четырем». В=«Два умножить на два равно пяти». (А=1), (В=0)
2. Алгебра высказываний. Высказывание Солнце есть спутник Земли истинно или ложно ?
2. Алгебра высказываний. Высказывание 9 х 9 = 81 истинно или ложно ?
2. Алгебра высказываний. Высказывание Если сумма квадратов катетов треугольника равна квадрату гипотенузы, то он прямоугольный истинно или ложно ?
2. Алгебра высказываний. Закрыть