El cálculo proposicional se encarga del estudio de las relaciones lógicas entre proposiciones.