Lógica proposicional y pasos del razonamiento lógico