Publication Date



Technical Report: UTEP-CS-19-53


Formal implication does not capture the intuitive idea of "if A then B", since in formal implication, every two true statements -- even completely unrelated ones -- imply each other. A more adequate description of intuitive implication happens if we consider how much the use of A can shorten a derivation of B. At first glance, it may seem that the number of bits by which we shorten this derivation is a reasonable degree of implication, but we show that this number is not in good accordance with our intuition, and that a natural formalization of this intuition leads to the need to use, as the desired degree, the ratio between the shortened derivation length and the original length.