Полный англо-русский словарь
logical condition
Логическое условие
Полный англо-русский словарь
logical conclusion
logical congruence