A model of Boolean function was implemented by helping the subjects to press a button only in the case of crossed sinusoids and of white noise. A model of an equivalence function was built this way and its complement was represented by horizontal and vertical sinusoid. Records were made and their fourier transformed were calculated for each of the four considered situations (two sinusoids, one sinusoid vertical and one sinusoid horizontal and white noise), using multi-varied statistics, stepwise comparisons, a multi-varied analysis was plotted on two axis. Then it was verified that each couple of the configurations modelling the Boolean function occupied a similar position in one axis and the other couple on the other. So to speak, conditioned and not-conditioned conditions were differentiated along the first axis, and formal differences between each couple of stimuli that was represented by differences in the second axis.

We used another conceptual tool, connotative logic and substituted sentences of common language by equivalent propositions, written accordingly with this logic of signification for more detailed and closes interpretation in psychological terms of the mental processes.

We make the conclusion depend on both connotative references and analytical argument. So, we have here to criteria for truth: (a) analytical truth and (b) connotative referential truth. Considering now another operation, for instance, negation, we may have two possibilities: either the negation include all the components of the propositions, or only a part. In this case, an alternative exists in which the original proposition is not completely denied but rather the proposition is transformed into a fuzzy relationship. The same analysis can be made concerning all the alternatives for binary or else anodic relationships and this represents a conceptual departure of conceptual distancing from the purely analytical approach to logics.