Para solucionar este tipo de paradojas sin abandonar la interpretación veritativo-funcional del condicional, la lógica relevante propone que se agregue la exigencia de que para que una inferencia sea válida, las fórmulas atómicas que aparecen en la conclusión deben aparecer todas al menos una vez entre las premisas.