Логи́ческая фо́рмула, формула, содержащая лишь символы логических операций и переменные для высказываний и предикатов, т. е. выражение в языке формальной логики, являющееся аналогом предложения. Точное определение логической формулы даётся для каждого конкретного логического языка. Как правило, определение логической формулы имеет индуктивный характер: выделяется класс выражений, называемых элементарными или атомарными логическими формулами, и указываются правила, позволяющие из уже построенных логических формул строить новые логические формулы, используя символы логических операций. См. также Алгебра логики, Исчисление предикатов.
Термины