No es sorprendente que un operador verdad-funcional rigurosamente definido no corresponda exactamente a todas las nociones de implicación o expresadas de otra manera por las sentencias 'Si ...