Sequent - Definition. Was ist Sequent
Diclib.com
Wörterbuch ChatGPT
Geben Sie ein Wort oder eine Phrase in einer beliebigen Sprache ein 👆
Sprache:

Übersetzung und Analyse von Wörtern durch künstliche Intelligenz ChatGPT

Auf dieser Seite erhalten Sie eine detaillierte Analyse eines Wortes oder einer Phrase mithilfe der besten heute verfügbaren Technologie der künstlichen Intelligenz:

  • wie das Wort verwendet wird
  • Häufigkeit der Nutzung
  • es wird häufiger in mündlicher oder schriftlicher Rede verwendet
  • Wortübersetzungsoptionen
  • Anwendungsbeispiele (mehrere Phrasen mit Übersetzung)
  • Etymologie

Was (wer) ist Sequent - definition

CONDITIONAL ASSERTION THAT IF ALL OF THE ANTECEDENT CONDITIONS ARE TRUE, THEN AT LEAST ONE OF THE CONSEQUENT FORMULAS IS TRUE
Sequent (in logic); Sequents

Sequent         
<company> A computer manufacturer. Quarterly sales $109M, profits $7M (Aug 1994). Sequent computers was acquired by IBM in 1999. [History?] (2003-10-21)
Sequent         
·noun A Follower.
II. Sequent ·adj Following as an effect; consequent.
III. Sequent ·adj Following; succeeding; in continuance.
IV. Sequent ·noun That which follows as a result; a sequence.
sequent         
¦ adjective archaic following in a sequence or as a logical conclusion.
Derivatives
sequently adverb

Wikipedia

Sequent

In mathematical logic, a sequent is a very general kind of conditional assertion.

A 1 , , A m B 1 , , B n . {\displaystyle A_{1},\,\dots ,A_{m}\,\vdash \,B_{1},\,\dots ,B_{n}.}

A sequent may have any number m of condition formulas Ai (called "antecedents") and any number n of asserted formulas Bj (called "succedents" or "consequents"). A sequent is understood to mean that if all of the antecedent conditions are true, then at least one of the consequent formulas is true. This style of conditional assertion is almost always associated with the conceptual framework of sequent calculus.

Beispiele aus Textkorpus für Sequent
1. The UN Secretary General should not consider what happened to the Sudanese refugees in Egypt as a mere security incident, because what happened to the Sudanese in Cairo on the New Year eve will have great impact on the future relationship between the UN system and the current and sub–sequent governments of Southern Sudan.