Reglas de inferencia

Una regla de inferencia es un razonamiento matemático verdadero que valida la verdad de una conclusión a partir de premisas verdaderas.

Algunos ejemplos son teorema, corolario, lema, entre otros.

Referencias

Este artículo ha sido escrito por Vikidia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.