sequent
/ˈsiːkwənt/
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)".)
شرح كتاب المنطق المدرسي كيف أن كل متتالية، مع سابقتها من العبارات الخاطئة التي تؤدي إلى لاحقة من الاستنتاجات الصحيحة، تمثل شكل حجة صحيح.
adjective
