SMS dit: Lógica: el razonamiento deductivo formal