В результате изучения материалов этой лекции предполагается, что обучающийся узнает, что такое высказывание, познакомится с основными операциями над высказываниями, узнает, как обозначаются высказывания, а также, какие языковые конструкции на естественном языке соответствуют рассмотренным в видео логическим операциям. Начнём с определения высказывания. Пропозициональным высказыванием (от лат. proposition) или атомарным высказыванием или просто высказыванием называется связное повествовательное предложение, выражающее законченную мысль, о котором можно сказать, истинно оно или ложно...

Основу ЭВМ и других цифровых устройств составляют элементарные логические схемы, которые работают в строгом соответствии с законами и правилами алгебры логики. Знание и понимание этих законов и правил помогает лучше разобраться с принципами работы ЭВМ. Алгебра логики (булева алгебра – по фамилии ученого Д. Буля1) является частью раздела математики под названием математическая логика, посвященного изучению математических доказательств и вопросов оснований математики. Построенная Д. Булем алгебра служила для описания логических действий над высказываниями...