6.127 All propositions of logic are of equal rank; there are not some which are essentially primitive and others deduced from these.

Every tautology itself shows that it is a tautology.