Formuła logiczna – określenie dozwolonego wyrażenia w wielu systemach logicznych, m.in. w rachunku kwantyfikatorów oraz w rachunku zdań.
Rachunek zdań Zdania rachunku zdań są formułami tegoż rachunku. Tak więc każda zmienna zdaniowa jest formułą. Taką formułę nazywa się też formułą atomową. Formułami są także negacje formuł atomowych, tzn. Formuły atomowe i ich negacje nazywa się też literałami. Ponadto jeżeli są formułami i jest binarnym spójnikiem zdaniowym (alternatywą koniunkcją implikacją lub równoważnością ), to oraz są formułami. Żadne inne wyrażenie nie może być formułą.
Przykłady Wbrew definicji formalnej, w sytuacjach, gdy nie prowadzi to do nieporozumień, część nawiasów w formule opuszcza się. Przykładowo, zgodnie z definicją formalną wyrażenie: nie jest formułą (formułą byłoby np. wyrażenie lecz interpretacja takiej formuły jest jednoznaczna i wewnętrzne nawiasy w praktyce pomija się).
Rachunek kwantyfikatorów Rachunek kwantyfikatorów (rachunek predykatów pierwszego rzędu), jako uogólnienie rachunku zdań, posługuje się podobną definicją formalną formuły, rozszerzając ją o kwantyfikatory – jeżeli jest formułą rachunku kwantyfikatorów, to oraz są nią również.