6.1

The propositions of logic are tautologies.

535