Propositional Logic Tautologies, Contradictions, and Contingencies