Formula alebo logická formula je ľubovoľný konečný rad (postupnosť) základných (primitívnych) symbolov formalizovaného jazyka (výrokovej, predikátovej) logiky.
Použi AI
1 vzťah: Kalkul.
Kalkul môže byť.
Pozrieť Formula (logika) a Kalkul
Známy ako Logická formula.