Categoría: Reglas de inferencia

Conjunto de principios lógicos que permiten derivar nuevas proposiciones a partir de otras, fundamentales en la construcción de pruebas y demostraciones matemáticas.