Este documento describe varios esquemas de inferencia lógica como el modus ponens, modus tollens, doble negación, adjunción, simplificación, silogismo hipotético y disyuntivo. Explica cómo representar proposiciones con letras para simplificar las inferencias y define términos como proposiciones atómicas y moleculares.