Pentru a demonstra că o propoziţie (concluzia) este adevărată, se încearcă demonstrarea faptului că negata sa produce o contradicţie la nivelul ipotezelor
Pentru a aplica această metodă, orice enunţ predicativ trebuie adus la forma normal conjunctivă, adică un enunţ echivalent format dintr-o conjuncţie () de disjuncţii ()
În acest sens, asupra enunţului iniţial trebuie aplicate o serie de rafinări succesive, bazate pe câteva reguli de transformare a formulelor
