Events as Propositions
An event can be singled-out by a (nonambiguous) statement E, that is a (Boolean) proposition that can be either true or false (corresponding to the two “values” 1 or 0 of the indicator I E of E). Obviously, different propositions may single-out the same event, but it is well-known how an equivalence relation can be introduced between propositions through a double implication: recall that the assertion A ⊆ B (A implies B) means that if A is true, then also B is true.
Unable to display preview. Download preview PDF.