La simbolización y formación de EBFs en cada uno de esos cálculos, así como las reglas de cálculo se trata en cálculo lógico.