без примеровНайдено в 1 словаре
Вычислительная техника и программирование- dicts.lingvocomputer_en_ru.description
- dicts.lingvocomputer_en_ru.description
succedent
лог.
сукцедент, последующий член (отношения)
Примеры из текстов
The order of listing the formulas within any antecedent and within any succedent is to be immaterial in applying the rules.Для применения правил порядок перечисления формул в антецеденте и сукцеденте считается несущественным.Kleene, Stephen Cole / Mathematical LogicКлини, С.К. / Математическая логикаМатематическая логикаКлини, С.К.© Перевод на русский язык «Мир», 1973Mathematical LogicKleene, Stephen Cole© 1967 by Stephen Cole Kleene
Добавить в мой словарь
succedent
сукцедент; последующий член
Переводы пользователей
Пока нет переводов этого текста.
Будьте первым, кто переведёт его!
Словосочетания
succedent rule
сукцедентное правило
succedent subformula
сукцедентная подформула