Secuencia de signos y símbolos lógicos construida de acuerdo con las reglas sintácticas de un lenguaje formal («fórmula bien formada»). La mejor definición de fórmula es la recursiva (ver ejemplo). Se dividen en fórmulas atómicas o simples, y moleculares o compuestas; en abiertas y cerradas, También en fórmulas válidas, consistentes y universalmente válidas, y unas respecto de otras pueden ser, o no, equivalentes.