Este documento presenta las reglas lógicas de inferencia modus ponens, modus tollens, modus ponendo tollens y modus tollendo ponens. Explica cómo formalizar argumentos lógicos y aplicar estas reglas para deducir conclusiones válidas. También introduce el silogismo hipotético puro, el dilema constructivo compuesto y el dilema destructivo compuesto como formas de razonar deductivamente. Finalmente, proporciona ejemplos para que el lector practique aplicando estas reglas lógicas.