El cálculo se define como un sistema de signos no interpretados que consta de los siguientes elementos: unos signos de cálculo (las conectivas) y unas fbf obtenidas por reglas de inferencia. Dentro de estas fbf destacan los teoremas, que son las últimas fbf a que se llega aplicando reglas de inferencia.

(v. completud, conectiva, consistencia, teorema, .regla de inferencia, sistema decidible,)