En lógica formal se identifica una proposición lógica con una fórmula bien formada usando los símbolos del alfabeto que caracteriza al lenguaje formal que se esté empleando.