ඊට වෙනස් වූ වක්‍ර සාධනයක් කල්පිත තත්වයන් සමග ආරම්භ වන අතර ඉන්පසුව නිගමනයක් ලැබෙන තුරු එක් එක් තත්වවල අවිනිශ්චිතතා ඉවත් කිරීම සිදු කරයි. නිදසුනක් ලෙස p q ලෙස සෘජුව පෙන්වනවා වෙනුවට එහි පර්ස්ථාපී ~q ⇒ ~p (~q ලෙස උපකල්පනය කර ~p එය එළඹේ) යන්න සනාථ කරයි. p q හා q  p අධිස්ථාපන මූලධර්මයෙන් තුල්‍ය වන බැවින් p q යන්න වක්‍රව සාධනය වේ. මෙවන් සෘජු නොවන සාධන ක්‍රමවලට පරස්පරතාවයෙන් සාධනය , නිරවශේෂණය මගින් සාධනය , අපරිමිත අවරෝහණයෙන් සාධනය හා අභ්‍යුහනයෙන් සාධනය ඇතුළත් වේ.