Термины

Логическая формула

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

Редакция математических наук
  • Классическая логика
  • Логические операции
  • Предикаты