En la lógica clásica los siguientes patrones de razonamiento son válidos: