Intuitive Implication Logic System

One key matter we meet when classical logic is used in analysis and information mining to massive knowledge system is the problem of Scotus Law. Up to the present, the existent resolvents are far from our logical intuition. This paper gives a new strategy - to build an intuitive implication logic system, D, in which: (I) the property of implication should be in accordance with intuition; (II) the fundamental laws of classical logic should be reserved; (III) the properties of negation and conjunction should not be changed; (IV) Scotus Law should not generally hold. Then, basing on the strict formal semantics, we demonstrate the soundness and consistency of system D.