Tautology and Contradiction

Theorems
A contradiction implies and is implied by the negation of a tautology:

$$\bot \dashv \vdash \lnot \top$$

That is, a falsehood can not be true, and a non-truth is a falsehood.

A tautology implies and is implied by the negation of a contradiction:

$$\top \dashv \vdash \lnot \bot$$

That is, a truth can not be false, and a non-falsehood must be a truth.

A conjunction with a tautology:

$$p \and \top \dashv \vdash p$$

A disjunction with a tautology:

$$p \or \top \dashv \vdash \top$$

A conjunction with a contradiction:

$$p \and \bot \dashv \vdash \bot$$

A disjunction with a contradiction:

$$p \or \bot \dashv \vdash p$$

Proof by Natural deduction
These are proved by the Tableau method.


 * $$\bot \vdash \lnot \top$$:


 * $$\lnot \top \vdash \bot$$:


 * $$\top \vdash \lnot \bot $$:


 * $$\lnot \bot \vdash \top$$:


 * $$p \and \bot \vdash \bot$$:


 * $$p \or \bot \vdash p$$:

Comment
Note that the proofs of:


 * $$\lnot \bot \vdash \top$$
 * $$\lnot \top \vdash \bot$$

rely (directly or indirectly) upon the Law of the Excluded Middle - and it can be seen that they are just another way of stating that truth.

"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.