Fórmula

De Enciclopedia Symploké, la enciclopedia libre.

(Redirigido desde Fórmulas)

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.

enciclopedista

Valid XHTML 1.0 Transitional