- substitutivity of equality
- мат. подстановочность равенства
Большой англо-русский и русско-английский словарь. 2001.
substitutivity of equality
Смотреть что такое "substitutivity of equality" в других словарях:
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
