| logic | combination of theories | комбинация теорий (A combination of theories is defined as the set of formulas constructed using a combined signature – which encompasses functions, predicates, and constants – and represents the deductive closure of their union, meaning it includes all original formulas and their logical consequences. — Комбинация теорий представляет собой множество формул, построенных с использованием объединённой сигнатуры, включающей функции, предикаты и константы, и являющихся дедуктивным замыканием их объединения, то есть совокупностью всех исходных формул и их логических следствий. Alex_Odeychuk) |