Fórmula
De Enciclopedia Symploké, la enciclopedia libre.
En un cálculo, expresión construida por combinación de sus signos primitivos. Si una fórmula cumple las reglas de formación del cálculo, hablaremos de fórmula bien formada. Por ejemplo, la expresión "¬(p v q)" es una fórmula bien formada del cálculo proposicional; en cambio, la expresión "p ¬ q" no lo es, ya que está sintácticamente mal construida.
