through the conventional arithmetic operations and pointwise limits. It follows easily from this characterization of propositions in classical systems that the corresponding logic is identical to the Boolean algebra of Borel subsets of the state space. They thus obey the laws of classical propositional logic (such as de Morgan's laws) with the set operations of union and intersection corresponding to the Boolean conjunctives and subset inclusion corresponding to material implication.