Tłumaczenia dla hasła „sequent“ w angielsko » arabski słowniku

sequent PRZYM. (ial)

sequent

مُتَسَلْسِل

sequent RZ.

sequent

نَتِيجَة

sequent

عَاقِبَة

sequent PRZYM.

sequent

مُتَتَابِع

sequent

مُتَعَاقِب

sequent (relations)

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

sequent (relations)

تابِع

sequent (relations)

لاحِق

sequent

sequent

تَبَعِيّ

sequent

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

sequent

مُتَوَالٍ

sequent

مُتَوَاصِل

sequent

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

sequent

مُسَلْسَل

Przykłady jednojęzyczne (niezredagowane i niesprawdzone przez PONS)

angielski

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