Übersetzungen für „sequent“ im Englisch » Arabisch-Wörterbuch

sequent ADJ (ial)

sequent

مُتَسَلْسِل

sequent SUBST

sequent

نَتِيجَة

sequent

عَاقِبَة

sequent ADJ

sequent

مُتَتَابِع

sequent

مُتَعَاقِب

sequent (relations)

تالٍ التّالِي

sequent (relations)

تابِع

sequent (relations)

لاحِق

sequent

sequent

تَبَعِيّ

sequent

تَسَلْسُلِيّ

sequent

مُتَوَالٍ

sequent

مُتَوَاصِل

sequent

مُتَتَالٍ المُتَتَالي

sequent

مُسَلْسَل

Einsprachige Beispiele (nicht von der PONS Redaktion geprüft)

Englisch

In the sequent calculus version, this is manifestly true because there is no rule that can have as a conclusion!

en.wikipedia.org

For instance, in a sequent calculus where cut elimination holds, the "cut" rule is admissible.

en.wikipedia.org

Thus, swapping left for right in a sequent corresponds to negating all of the constituent formulae.

en.wikipedia.org