Traduzioni di „sequent“ nel dizionario inglese » arabo

sequent AGG (ial)

sequent

مُتَسَلْسِل

sequent SOST

sequent

نَتِيجَة

sequent

عَاقِبَة

sequent AGG

sequent

مُتَتَابِع

sequent

مُتَعَاقِب

sequent (relations)

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

sequent (relations)

تابِع

sequent (relations)

لاحِق

sequent

sequent

تَبَعِيّ

sequent

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

sequent

مُتَوَالٍ

sequent

مُتَوَاصِل

sequent

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

sequent

مُسَلْسَل

Esempi monolingue (non verificati dalla Redazione di PONS)

inglese

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