The non-increment of Minkovski distance of propositional connectives in system MP | IEEE Conference Publication | IEEE Xplore