entonces" del lenguaje natural, al que llama implicación estricta.