EN
Starting from philosophical intuitive conception of the relation of a kind of equivalence (called here perceptive equivalence), which is stronger that the normal equivalence (considered in the classical, 2-valued, propositional calculus, and in this paper called speculative). Then an axiomatization of a part of the classical logical calculus is proposed. It is called: non-symplificational propositional logic.