Corrección de premisas por uso de <>