In logic, the succedent represents the conclusion of a sequent.
У логіці сукцедент означає висновок секвенції.
The theorem connects the antecedent and the succedent parts.
Теорема пов’язує антецедент і сукцедент.
He analysed the succedent formula in the proof structure.
Він проаналізував сукцедентну формулу в структурі доведення.
A valid argument must ensure the truth of its succedent.
Правильний аргумент має гарантувати істинність свого сукцедента.
In symbolic logic, the arrow points toward the succedent.
У символічній логіці стрілка спрямована на сукцедент.
The succedent can contain multiple statements linked by conjunctions.
Сукцедент може містити кілька висловлювань, з’єднаних сполучниками.
He showed how changing the succedent alters logical entailment.
Він показав, як зміна сукцедента впливає на логічне виведення.
The computer verified both antecedent and succedent conditions.
Комп’ютер перевірив умови як антецедента, так і сукцедента.
In classical sequent calculus, each rule manipulates the succedent.
У класичному секвенційному численні кожне правило змінює сукцедент.
The succedent clause follows the condition.
Наступна частина йде після умови.