Hipi Zhdripi i Matematikës/z

zëvendësimi

Funksione gjykimesh janë edhe formulat :$2x^{2}-x-10=0;3x+5y<-1;(n^{2}+n-2)\vdots 3;p\|q;F_{1}\thicksim F_{2}$ ku secila prej tyre shndërrohet në gjykim, kur simbolet e variablave përkatëse $x,y,n,p,q,F_{1},F_{2}\,\!$ zëvendësohen me objekte konkrete, me vlera të caktuara . Kjo metodë e shndërrimit të gjykimeve të hapura në gjykime quhet metoda e zëvendësimit (metoda e substitucionit) .