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

П.1 Высказывания Алгебра логики (высказываний) - раздел математической логики, изучающий высказывания и логические операции над ними. Высказывание(суждение) – любое повествовательное предложение в отношении которого можно однозначно сказать, истинно оно или ложно. Примеры высказываний: Высказываниями не являются: Алгебра логики (высказываний) работает с высказываниями. Различают: Истина: Аристотель - основоположник логики. Ложь: На яблонях растут бананы. А = {Аристотель - основоположник логики} – истина...