Gitt et språk , så er mengden med -formler definert induktivt som: er en -formel. Les eller (eng: ). er en -formel. Les eller (eng: ). Hvis er et relasjonssymbol med aritet , og til er -termer, så er en -formel. Hvis og er -formeler og er en variabel, så er følgende -formler: : negasjonen av . : konjunksjon. Les . : disjunksjon. Les . : implikasjon. Les eller . (Notasjonen brukes også.) : all-kvantor. Les "for alle x, så holder Aløfteslogisk konsekvensKonsistentSunnKomplettLogic and Structure'', Universitext. ISBN 978-3-540-20879-2.