Închidere deductivă
Salt la navigare Salt la căutare
În matematică, închiderea deductivă constă din setul de deducții care pot fi obținute pornind de la un set de axiome.
Cu alte cuvinte, închiderea deductivă este ansamblul tuturor formulelor care, prin regulile de inferență disponibile, sunt o consecință a setului de axiome considerate.
În termeni mai formali, fie setul de formule considerate, închiderea sa deductivă este indicată cu .