The former mimics one of the options how to negate implications listed in [1]},
the latter is inspired directly by how implication is negated in Nelson's paraconsistent logic \(\mathsf {N}4\)  [2]}, and it yields an implication whose associated equivalence connective is not congruential, and it is therefore referred to as a weak implication (and we will use a different symbol to denote it).

Первое из них имитирует один из вариантов отрицания следствия, перечисленного в [1]}, последнее вдохновлено прямо тем, как отрицается следствие в параконсистентной логике Нельсона \(\mathsf {N}4\) [2]}, и дает следствие, связанное с эквивалентным связывающим элементом, который не является конгруэнциальным, поэтому он называется слабым следствием (и мы будем использовать другой символ для его обозначения).