Esto es lo que se expone en cálculo lógico.