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

В информатике существует раздел алгебры логики, ключевыми объектами которого являются высказывания. Высказывания всегда можно однозначно определить как истинное или ложное. Высказываниям присваиваются буквы (логические переменные) и значения, если высказывание истинное, то значение переменной равно 1, в противном случае 0. С помощью логических операций строятся составные (сложные) высказывания. Существуют 3 основные логические операции: конъюнкция, дизъюнкция, инверсия. Для большей понятности и наглядности...