Disjunction with Tautology

Theorem
A disjunction with a tautology:


 * $p \lor \top \dashv \vdash \top$

Proof

 * align="right" | 4 ||
 * align="right" | 3
 * $p \lor \neg p$
 * $\lor \mathcal I_1$
 * 3
 * align="right" | 5 ||
 * align="right" | 3
 * $\top$
 * LEM
 * 4
 * align="right" | 6 ||
 * align="right" | 1
 * $\top$
 * $\lor \mathcal E$
 * 1, 2-2, 3-5
 * }
 * align="right" | 1
 * $\top$
 * $\lor \mathcal E$
 * 1, 2-2, 3-5
 * }
 * }


 * align="right" | 2 ||
 * align="right" | 1
 * $p \lor \top$
 * $\lor \mathcal I_2$
 * 1
 * }
 * }
 * }

Comment
Note that this relies directly upon the Law of the Excluded Middle, and it can be seen that they are just another way of stating that truth.

The propositions:
 * If it's not false, it must be true

and
 * If it's not true, it must be false

are indeed valid only in the context where there are only two truth values.

From the intuitionist perspective, these results do not hold.

Proof by Truth Table
We apply the Method of Truth Tables to the proposition.

As can be seen by inspection, in each case, the truth values in the appropriate columns match for all models.

$\begin{array}{|c|ccc||c|ccc|} \hline p & \top & p & \lor & \top \\ \hline F & T & F & T & T \\ T & T & T & T & T \\ \hline \end{array}$