Terms containing valid formula

Subject	English	Russian
math.	arithmetically valid formula	арифметически общезначимая формула
math.	geometrically valid formula	геометрически общезначимая формула
math.	intuitionistically valid formula	интуиционистски общезначимая формула
math.	logically valid formula	логически общезначимая формула
math.	modally valid formula	модально общезначимая формула
math.	positively valid formula	позитивно общезначимая формула
math.	secondarily valid formula	вторично общезначимая формула
math.	universally valid formula	универсально общезначимая формула
comp.	valid formula	общезначимая формула
progr.	valid propositional formula	общезначимая формула высказываний (ssn)