Tautologies and Material Implication

Tautologies and their truth-tables are introduced, and material implication is used to provide a simple test for the existence of an implication relation.