ABSTRACT
It may be helpful to summarize in some tables all contradictory
(countervalent) pairs that I have used in my previous derivations.
I consider in the following the main statements involved and their
generating sets (for product and sum inferences the data are
extracted from Tables 2.4-2.11, 2.24-2.25 and 3.1-3.2).