Formule (logika)

Faktická přesnost tohoto článku byla zpochybněna.

Podrobnější zdůvodnění najdete v diskusi. Prosíme, neodstraňujte tuto zprávu, dokud nebudou pochybnosti vyřešeny.

---

Pro vkladatele šablony: Na diskusní stránce zdůvodněte vložení šablony.

Formule (také predikátová formule, srov. výroková formule) je v matematice a logice syntaktický pojem reprezentující nějaké (matematické) tvrzení v jisté formální teorii predikátové logiky prvního řádu.