Definición de fórmula bien formada en el lenguaje de la lógica de enunciados

a) Las fórmulas atómicas son fórmulas bien formadas (o simplemente fórmulas).

b) Si  y  son fórmulas, también lo son , , ,  y .
c) Únicamente son fórmulas las expresiones que satisfagan a) o b).