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

в традиционной логике обычный способ выражения для одного из четырех ее логических законов (см. Закон логический), а именно – закона тождества. Вхождение в этом выражении буквы А несущественно и обязано, по-видимому, особенности латинского алфавита. Равным образом для выражения того же закона можно было бы писать В = В, С = С и т.д. В современной логике (см. Логика символическая) традиционная нотация не используется. В логике высказываний она заменяется формулами (A ≡ A) или (А ⊃ А), где А – произвольное высказывание, а «≡» и «⊃» – пропозициональные логические связки...