Logical truth

математика логическая истина

Англо-русский научно-технический словарь