Sequent - ορισμός. Τι είναι το Sequent
Diclib.com
Λεξικό ChatGPT
Εισάγετε μια λέξη ή φράση σε οποιαδήποτε γλώσσα 👆
Γλώσσα:

Μετάφραση και ανάλυση λέξεων από την τεχνητή νοημοσύνη ChatGPT

Σε αυτήν τη σελίδα μπορείτε να λάβετε μια λεπτομερή ανάλυση μιας λέξης ή μιας φράσης, η οποία δημιουργήθηκε χρησιμοποιώντας το ChatGPT, την καλύτερη τεχνολογία τεχνητής νοημοσύνης μέχρι σήμερα:

  • πώς χρησιμοποιείται η λέξη
  • συχνότητα χρήσης
  • χρησιμοποιείται πιο συχνά στον προφορικό ή γραπτό λόγο
  • επιλογές μετάφρασης λέξεων
  • παραδείγματα χρήσης (πολλές φράσεις με μετάφραση)
  • ετυμολογία

Τι (ποιος) είναι Sequent - ορισμός

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

Βικιπαίδεια

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.

Παραδείγματα από το σώμα κειμένου για 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.