Cumu la verdá destas oraciones resulta tan  antiintuitiva, yía natural pensar que la llóxica de predicaos comete dalgún error al consideralas verdaes llóxicas. En xeneral piénsase que dichu error reside na interpretación veritativu-funcional del condicional «si.... entos...», y pulu tantu propunxénunse deillas alternativas, ente eillas el condicional estritu, y los esfuerzos de la llóxica relevante.