Derivación

En matemáticas y lógica, es una secuencia de afirmaciones que muestra cómo se puede obtener una nueva afirmación a partir de un conjunto de axiomas y teoremas previamente probados utilizando reglas de inferencia.

« Back to Glossary Index

Entradas relacionadas