bn:01870560n
Noun Concept
Categories: Reglas de inferencia, Lógica proposicional, Teoría de la demostración, Sintaxis (lógica)
ES
regla de inferencia  regla de transformación  reglas de inferencia  leyes de inferencia  normas de inferencia
ES
En lógica, una regla de inferencia, o regla de transformación es una forma lógica que consiste en una función que toma premisas, analiza su sintaxis, y devuelve una conclusión. Wikipedia
Definitions
Relations
Sources
ES
En lógica, una regla de inferencia, o regla de transformación es una forma lógica que consiste en una función que toma premisas, analiza su sintaxis, y devuelve una conclusión. Wikipedia
Un método para construir inferencias válidas. Wikipedia Disambiguation