Por ejemplo, un método para realizar el cálculo proposicional es el de las tablas de verdad.