The following diagram shows that 79 \(\not \Rightarrow\) 123 is a code 6 non-implication, and the theory of transferability then shows that it is actually a code 4. It follows that the non-implication 169 \( \not \Rightarrow \) 123 is not just a code 6 non-implication, but is also a code 4 non-implication.

123 This form is negation transferable
\(\Downarrow\)
331
\(\Downarrow\)
332
\(\Downarrow\)
343
\(\Downarrow\)
67 \( \not \Rightarrow \) 154
\( \Downarrow \)
89
\( \Downarrow \)
90
\( \Downarrow \)
91
\( \Downarrow \)
This form is transferable 79
\( \Downarrow \)
272
\( \Downarrow \)
169

Back