Definíció: Logikai jelek halmaza, aritás függvény. Negáció, konjukció, diszjunkció, implikáció, ekvivalencia.
Definíció: Legyen B a logikai jelek halmaza. Legyen V betűk/változók/határozatlanok halmaza. A B bázisú logikai formulák
Definíció: Egy f formulában szereplő változóhalmaz.
Definíció: Legyen f egy formula, x egy határozatlana, g egy formula. f(x <- g) az a formula, amelyet úgy kapunk,hogy f-ben az x helyébe a g formulát helyettesítjük.