Нотации в формальной логике — это система знаков, используемая для записи текста в определённой области знаний. 1

В логике высказываний нотация состоит из букв латинского алфавита, логических символов и нелогических символов, например, скобок, запятых, точек. 1 В логике предикатов первого порядка к этим элементам добавляются кванторы и предикатные символы. 1

Также нотациями в алгебре логики называют операции над высказываниями и выражениями. 2 Например, конъюнкция (союз «и»), дизъюнкция (союз «или»), отрицание, импликация (конструкция «если… , то… »). 2

Таким образом, нотации в формальной логике представляют собой искусственный язык для выражения внутренней структуры суждений и умозаключений. 5