La definición

Es una de las operaciones lógicas de mayor importancia, a la que se recurre constantemente tanto en la ciencia como en la vida ordinaria.