Termes pour sujet Logique contenant значения

Russe	Anglais
для всякой системы значений переменных a1, a2, . . ., aN	for every system of values of a1, a2, . . ., aN (ssn)
истинностное значение	truth-value
ложное доказательство из-за двусмысленности языкового значения	ambiguity
переменное свойство системы, динамически изменяющее своё значение	fluent (Alex_Odeychuk)
чёткое значение	crisp value (Pall)