engelska-finska översättning av sequent

Definition av sequent

  • That comes after in time or order; subsequent
  • That follows on as a result, conclusion etc.; consequent , ,
  • Recurring in succession or as a series; successive, consecutive
  • Something that follows in a given sequence
  • 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.[http://logicinaction.org logicinaction.org], Chapter 8 (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
  • A follower
  • A sequential calculus

Exempel

  • A sequent a, b \vdash c, d could be interpreted to correspond to an Existential Graph, whose expression in Existential Graph Interchange Format would be
    ~[(a) (b) ~[(c)] ~[(d)]], which in ordinary language could be expressed as "a and b give c or d".

Populära sökningar

De största ordböckerna

OrdbokPro.se

OrdbokPro.se är en helt gratis Internet ordbok. Miljontals översättningar på över 20 olika språk.

Användarvillkor   Cookies   Kontakt oss

In EnglishAuf DeutschEn españolSuomeksiEestikeelne

Mindmax
Innehåll är baserad på Wiktionarys artiklar.
Innehåll är tillgänglig under Creative Commons Attribution-ShareAlike.
© 2004-2024 OrdbokPro.se