Na początku przypomnijmy sobie, czym jest implikacja oraz jak definiuje się prawo zaprzeczania implikacji. 

Implikacją o poprzedniku  i następniku  nazywamy zdanie: jeśli , to , które oznaczamy ;