En este artículo consideramos la "implicación" en su sentido meramente lógico.