Нотация (от лат. notatio («обозначать, писать, отмечать, замечать»)) является системой знаков (знаковой системой), используемой для записи текста в некоторой области знаний. В формальной логике нотации представляют из себя то же самое. В логике высказываний нотация состоит из буквы латинского алфавита: A, B, C, ..., логических символов: ∽ (либо ≡, либо ⇔), → (либо ⇒, либо ⊃), ¬ (либо ̅ ), ∨, ∧ (либо &) и нелогических символов, например, скобки «(, )», запятые, точки. В логике предикатов первого порядка также используется латинский алфавит, те же логические символы и ещё добавляются кванторы: ∀x, ∃x и предикатные символы: P(x), B(x), ... и те же нелогичсекие символы.