sequent
Meanings
Eine disjunktive Menge logischer Formeln, die in zwei Teilmengen unterteilt ist; die erste Teilmenge, das Antezedens genannt, besteht aus Formeln, die als falsch bewertet werden, und die zweite Teilmenge, das Sukzedens genannt, besteht aus Formeln, die als wahr bewertet werden.
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. "
Das Logik-Lehrbuch erklärte, wie jedes Sequent mit seinem Antezedens aus falschen Aussagen, das zu einem Sukzedens aus wahren Schlussfolgerungen führt, eine gültige Argumentationsform darstellte.
Examples :
Folgend, nachfolgend, daraus resultierend
Examples :
Folgend, aufeinanderfolgend
Examples :
Related Words
sequential adjective
/sɪˈkwenʃəl/ /səˈkwenʃəl/
Aufeinanderfolgend, sequenziell
accomplishment noun
/ə.ˈkʌm.plɪʃ.mənt/ /ə.ˈkɑm.plɪʃ.mənt/
Erfolg, Leistung, Errungenschaft
"the accomplishment of an enterprise, of a prophecy, etc"
die Erfüllung eines Unternehmens, einer Prophezeiung usw.
