En este cálculo la proposición lógica es considerada como un todo en su condición de poder ser V, verdadera, o F, falsa.