sequent background

sequent

/ˈsiːkwənt/

Illustration sequent - Image 1

Illustration sequent - Image 2

noun

تابع، لاحق

Something that follows in a given sequence.

Examples :

"The explosion was sudden, and the fire was its terrible sequent. "

كان الانفجار مفاجئًا، وكان الحريق هو التابع الرهيب له.

system process outcome time

Illustration sequent - Image 1

noun

مجموعة فصلية من الصيغ المنطقية مقسمة إلى مجموعتين فرعيتين؛ المجموعة الفرعية الأولى، تسمى السابقة، تتكون من صيغ يتم تقييمها على أنها خاطئة، والمجموعة الفرعية الثانية، تسمى التابعة، تتكون من صيغ يتم تقييمها على أنها صحيحة.

A disjunctive set of logical formulae which is partitioned into two subsets; the first subset, called the antecedent, consists of formulae which are valuated as false, and the second subset, called the succedent, consists of formulae which are valuated as true. (The set is written without set brackets and the separation between the two subsets is denoted by a turnstile symbol, which may be read "give(s)".)

Examples :

"The logic textbook explained how each sequent, with its antecedent of false statements leading to a succedent of true conclusions, represented a valid argument form. "

شرح كتاب المنطق المدرسي كيف أن كل متتالية، مع سابقتها من العبارات الخاطئة التي تؤدي إلى لاحقة من الاستنتاجات الصحيحة، تمثل شكل حجة صحيح.

logic math philosophy system theory

Illustration sequent - Image 1

Illustration sequent - Image 2

noun

تابع، متبع

Examples :

"After the keynote speaker finished, a long line of sequents waited to ask her questions. "

بعد انتهاء المتحدث الرئيسي، انتظر خط طويل من المتابعين لطرح الأسئلة عليها.

Illustration sequent - Image 1

Illustration sequent - Image 2

noun

حساب متسلسل

A sequential calculus

Examples :

"The logic textbook introduces the concept of a sequent and its use in formal proofs. "

يقدم كتاب المنطق مفهوم الحساب المتسلسل واستخدامه في البراهين الرسمية.

logic math system

Illustration sequent - Image 1

Illustration sequent - Image 2

adjective

لاحق، تال

That comes after in time or order; subsequent.

Examples :

"The first earthquake was small, but the sequent tremors were much stronger and caused significant damage. "

كان الزلزال الأول صغيرًا، لكن الهزات اللاحقة كانت أقوى بكثير وتسببت في أضرار كبيرة.

time event history

Illustration sequent - Image 1

Illustration sequent - Image 2

adjective

لاحق، متتابع، نتيجة لـ

That follows on as a result, conclusion etc.; consequent to, on, upon.

Examples :

"The sequent feeling of accomplishment after finishing a challenging exam made all the hard work worthwhile. "

جعل الشعور اللاحق بالإنجاز بعد الانتهاء من امتحان صعب كل العمل الشاق يستحق العناء.

outcome logic philosophy

Illustration sequent - Image 1

Illustration sequent - Image 2

adjective

متتابع، متعاقب

Recurring in succession or as a series; successive, consecutive.

Examples :

"The student aced the sequent quizzes, showing consistent hard work. "

تفوق الطالب في الاختبارات المتتابعة، مما يدل على عمل شاق متواصل.

time number process