Fórmula

De Enciclopedia Symploké, la enciclopedia libre.
(Redirigido desde Fórmulas)
Saltar a: navegación, buscar

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.