Jazyk výrokové logiky obsahuje

• Symboly pro prvotní formule A, B, C,...
• logické spojky
• závorky (,)

Formule výrokové logiky (nebo krátce výroková formule) je každá posloupnost symbolů z jazyka výrokové logiky, která vznikne aplikací následujících pravidel:

1. Každá prvotní formule je výroková formule.
2. Jsou-li  a  výrokové formule, pak jsou i , (), (), () a () výrokové formule.
3. Každý řetězec symbolů sestavený podle pravidel 1. a 2. v konečně mnoha krocích je formule výrokové logiky.

Podformule formule   je taková její část, která je sama formulí. Přitom uvažujeme formule i s vnějšími závorkami

nechť   je formulé výrokové logiky a je pravdivostní ohodnocení prvotních formulí, které jsou obsažené v . **Pravdivostní hodnotu  výrokové formule** určíme postupným vyhodnocováním pravdivosti všech podformulí  od prvotních až po výslednou formuli. Za použití základních pravd (tabulky pro základní formule)

• Řekneme, že formule  je pravdivá při ohodnocení , právě když .
• Řekneme, že formule  je nepravdivá při ohodnocení , právě když .

Buď  výroková formule. Řekneme, že je

• Tautologie, právě když pro každé ohodnocení  platí , značíme
• Splnitelná, existuje-li ohodnocení  takové, že 
• Kontradikce, právě když pro každé ohodnocení  platí , značíme

Buďte  a  výroky, pro které dále platí, že

•  je pravdivá formule. Pak  je postačující podmínka pro . Na druhou stranu,  je nutná podmínka pro .
• je pravdivá formule. Pak  je nutná a postačující podmínka pro . Stejně tak  je nutná a postačující podmínka pro .

Buďte  a  výrokové formule. Řekneme, že

•  a  jsou logicky ekvivalentní, právě když pro každé ohodnocení  je  Píšeme
•  je logickým důsledkem , právě když pro každé ohodnocení , pro které , je i . Píšeme

Množina logických spojek tvoří universální systém, právě když ke každé formuli existuje logicky ekvivalentní formule, která obsahuje pouze tyto spojky.

Výroková formule je

• Implikant, je-li literálem nebo konjunkcí několika literálů.
• V disjunktivním normálním tvaru (DNT), je-li implikantem nebo disjunkcí několika implikantů.

Výroková formule je

• Minterm formule , pokud je to takový její implikant, který obsahuje všechny prvotní formule vyskytující se v , každou právě jednou.
• V úplném disjunktivním normálním tvaru, je-li mintermem nebo disjunkcí různých (logicky neekvivalentních) mintermů.

Výroková formule je

• Klausule, je-li literálem nebo disjunkcí několika literálů.
• V konjunktivním normálním tvaru (KNT), je-li klausulí nebo konjunkcí několika klausulí.

Výroková formule je

• maxterm formule , pokud je to taková její klausule, která obsahuje všechny prvotní formule vyskytující se v , každou právě jednou.
• v úplném konjunktivním normálním tvaru, je-li maxtermem nebo konjunkcí různých (logicky neekvivalentních) maxtermů.