Su aplicación puede verse en el cálculo lógico.