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

Логика высказываний, называемая также пропозициональной логикой - раздел математики и логики, изучающий логические формы сложных высказываний, построенных из простых или элементарных высказываний с помощью логических операций. Высказываниями принято считать такие предложения (написанные на "словесном" либо математическом языке), о которых можно сказать одно из двух: либо они являются истинными, либо ложными. С математическими высказываний проще всего: они всегда имеют либо значение "истина", либо значение "ложь"...