Fórmula

Sucesión finita de signos del alfabeto construida mediante las reglas de su cálculo de fórmulas (F1 y F2). Reciben distintos nombres de acuerdo a su forma lógica. p atómica (o simple) (cualquier letra proposicional lo es); ~A negación; A ^ B disyunción; A U B conjunción; A→ B condicional; A ↔ B bicondicional.

Una fórmula es una cadena de símbolos del alfabeto del lenguaje formal. Puede o no adecuarse a la gramática de dicho lenguaje, en caso de que sí se adecúe, hablamos de fórmulas bien formadas o fbf. (Véase fbf).