cálculo lógico.

Lógica (Lóg.) El que se realiza mediante un sistema de signos que permite formaciones y operaciones conforme a unas reglas explícitas.