Visuelle Bedeutung von 'sequent'? - lernen mit Bildern, Beispiele aus dem Alltag

Visuelle Illustration von sequent: Folge, Sequenz - Image 1

noun

Folge, Sequenz

Something that follows in a given sequence.

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

Die Explosion geschah plötzlich, und das Feuer war ihre schreckliche Folge.

system process outcome time

Visuelle Illustration von sequent: 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.

noun

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)".)

"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.

logic math philosophy system theory

Visuelle Illustration von sequent: Anhänger, Gefolgsmann - Image 1

sequent: Anhänger, Gefolgsmann - Thumbnail 1

noun

Anhänger, Gefolgsmann

A follower.

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

Nachdem der Hauptredner fertig war, wartete eine lange Reihe von Anhängern, um ihr Fragen zu stellen.

person being

Visuelle Illustration von sequent: Sequenzkalkül - Image 1

noun

Sequenzkalkül

A sequential calculus

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

Das Logik-Lehrbuch führt das Konzept des Sequenzkalküls und seine Verwendung in formalen Beweisen ein.

logic math system

Visuelle Illustration von sequent: Folgend, nachfolgend - Image 1

sequent: Folgend, nachfolgend - Thumbnail 1

adjective

Folgend, nachfolgend

That comes after in time or order; subsequent.

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

Das erste Erdbeben war klein, aber die nachfolgenden Erschütterungen waren viel stärker und verursachten erhebliche Schäden.

time event history

Visuelle Illustration von sequent: Folgend, nachfolgend, daraus resultierend - Image 1

sequent: Folgend, nachfolgend, daraus resultierend - Thumbnail 1

adjective

Folgend, nachfolgend, daraus resultierend

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

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

Das daraus resultierende Gefühl der Erfüllung nach dem Abschluss einer anspruchsvollen Prüfung machte die ganze harte Arbeit lohnenswert.

outcome logic philosophy

Visuelle Illustration von sequent: Folgend, aufeinanderfolgend - Image 1

sequent: Folgend, aufeinanderfolgend - Thumbnail 1

adjective

Folgend, aufeinanderfolgend

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

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

Der Schüler bestand die aufeinanderfolgenden Quizze und zeigte dabei beständige harte Arbeit.

time number process