Proving a theorem in classical propositional logic In van Fraasen and Beall's book Possibilities and Paradox, there is the following line (on pg 7): 

"In classical propositional logic we can prove that $$(A \iff B) \lor (A
 \iff C) \lor (B \iff C)$$ is valid."

$A, B$ and $C$ have not been previously defined. 
Can someone point me to the proof of this theorem?
 A: The letters $A,B$, and $C$ stand for propositions, each of which may be either true of false. The point of the quoted statement is that it doesn’t matter exactly what propositions they are or which of them (if any) are true: the displayed statement is true no matter what.
You can prove it with a truth table. However, you don’t actually need one. $$(A\iff B)\lor(A\iff C)\lor(B\iff C)$$ is true if and only if at least one of the disjuncts $A\iff B$, $A \iff C$, and $B\iff C$ is true. $A\iff B$ is true exactly when $A$ and $B$ have the same truth value: both are TRUE, or both are FALSE. Similarly, $A\iff C$ is true exactly when $A$ and $C$ have the same truth value, and $B\iff C$ is true exactly when $B$ and $C$ have the same truth value.
Since there are only two truth values in classical propositional logic, no matter how you assign truth values to $A,B$, and $C$, two of them have to get the same truth value. This means that under any assignment of truth values to $A,B$, and $C$, at least one of the three disjuncts has to be true, and hence the whole proposition must be true as well. 
A: Here is a natural deduction proof using a Fitch-style proof checker.
The first part starts the proof using the law of the excluded middle on $(A\leftrightarrow B)\lor \neg A\leftrightarrow B)$. The left disjunct derives the desired goal in lines 1-2. The rest of the proof will show how the right disjunct does the same.

The law of the excluded middle will be used on $(B\leftrightarrow C)\lor \neg (B \leftrightarrow C)$ to derive the goal from the left disjunct of line 20:


The law of the excluded middle will be used on $(A\leftrightarrow C)\lor \neg (A \leftrightarrow C)$ to derive the goal from the right disjunct of line 20:



Kevin Klement's JavaScript/PHP Fitch-style natural deduction proof editor and checker http://proofs.openlogicproject.org/
