در برخی توابع برای اینکه یک گزاره شرطی p ⟹q را اثبات کنیم از ∼q ⟹∼p ( عکس نقیض) استفاده خواهیم کرد و عکس نقیض آن که معادل با گزاره اصلی است را اثبات خواهیم کرد.