Terms for subject Information technology containing утверждение

Russian	French
истинное утверждение	affirmation vraie
команда утверждения	instruction de consigne
конечное утверждение	assertion finale
конечное утверждение	affirmation finie
ложное утверждение	affirmation fausse
локальное утверждение	assertion locale (утверждение в теле программы)
начальное утверждение	assertion initiale
начальное утверждение	affirmation initiale
предварительное утверждение	affirmation préalable
произвольное утверждение	assertion arbitraire
связанное утверждение	affirmation connexe
сигнал утверждения	signal d'affirmation
составное утверждение	affirmation composée
теория утверждений	théorie d'assertions