 BCP refers to the fact that Bar-Hillel and Carnap’s theory of semantic information assigns maximal information to contradictory sentences. Where \(\perp\) is an arbitrary contradiction, given that \(\perp\) will be false in all possible worlds, we have the following via  (1),  (2), and  (3)  respectively: