P(E) = 0 if and only if E is an impossible event.
The biconditional sentence above compactly states the following four conditional sentences:
If "P" represents one statement and "Q" represents another statement, then "If P then Q" is called a conditional sentence symbolized as "P → Q"
The following four conditional sentences can be considered:
The biconditional sentence P if and only if Q states that the conditional sentence, its converse, inverse and contrapositive are all true.
The biconditional sentence of this example can be broken up into the two parts below:
P: P(E) = 0
Q: E is an impossible event
P if and only if Q [i.e. P ↔ Q] results in the following: