Výroková formule je výraz, který je tvořen jednoduchými výroky, negacemi, logickými spojkami a závorkami. Když se dají složené výroky dohromady, patřičně se oddělí závorkami a případně se přidají negace výroků, je vytvořena formule, více v přikladu 4 níže.