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)⋮3;p\Vert q;F_1\sim 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 Stampa:HZM3F (Stampa:HZM3F) .