Формальная логика есть наука об элементарных законах и формах правильного мышления. Она есть собрание элементарных правил о том, как нужно пользоваться понятиями, суждениями, умозаключениями, дабы наше мышление было определённым, связным, последовательным, доказательным, непротиворечивым. Формальная логика элементарна. Она, по ленинской характеристике, «берёт формальные определения, руководствуясь тем, что наиболее обычно или что чаще всего бросается в глаза, и ограничивается этим» (В.И. Ленин, «Диалектика стакана»)...

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