Tautology, Contradiction, and Contingency in Mathematical Logic with Examples

An overview of tautologies, contradictions, and contingencies in mathematical logic, including definitions and illustrative examples from discrete mathematics.