Čo znamená formula v matematike?
Výroková formula je výraz, ktorý je tvorený jednoduchými výrokmi, negáciami, logickými spojkami a zátvorkami. Keď sa dajú zložené výroky dokopy, patrične sa oddelia zátvorkami a prípadne sa pridajú negácie výrokov, je vytvorená formula, o čom sa dozvieš viac v príklade 4 nižšie.