Ley lógica

De Enciclopedia Symploké, la enciclopedia libre.

En lógica, fórmula formalmente válida, es decir, verdadera independientemente de la asignación de los valores de verdad a sus variables. También se la denomina tautología. Las leyes lógicas no deben ser confundidas con las reglas de inferencia, ya que éstas pertenecen al metalenguaje del cálculo.

enciclopedista

Valid XHTML 1.0 Transitional