without examplesFound in 1 dictionary
Computer Science- dicts.lingvocomputer_en_ru.description
- dicts.lingvocomputer_en_ru.description
succedent
лог.
сукцедент, последующий член (отношения)
Examples from texts
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
Add to my dictionary
succedent
сукцедент; последующий член
User translations
No translations for this text yet.
Be the first to translate it!
Collocations
succedent rule
сукцедентное правило
succedent subformula
сукцедентная подформула