– $p \Rightarrow q$ aytımnıń kontrapoziciyası dep, $\neg q\Rightarrow \neg p$ aytımǵa aytıladı. Kontrapoziciya tómendegi shınlıq kestesine iye: $$\begin{array}{|c|c|c|c|c|} \hline p & q & \neg q & \neg p & \neg q \Rightarrow \neg p \\\hline sh & sh & j & j & sh \\\hline sh & j & sh & j & j \\ \hline j & sh & j & sh & sh \\\hline j & j & sh & sh & sh \\\hline \end{array}$$ Bul keste $p\Rightarrow q$ aytımınıń shınlıq kestesi menen ústpe - úst túsedi, demek, implikaciya hám kontrapoziciya logikalıq jaqtan teń kúshli boladı. Latınsha $contra$ qarsı + $positio$ turǵan orın, jaǵday; ornalasıw, jayǵasıw.