Translation for "kvanttoreista" to english

Kvanttoreista

• quantifiers

Translation examples

quantifiers

Se toimii myös kvanttorina, jolla on sama merkitys:
It also serves as a quantifier with the same meaning:

Sen jälkeen siellä voi olla yksi tai useampia kvanttoreita tai samankaltaisuusmääreitä.
After that, there can be one or more quantifiers or similarity determiners.

Merkitykseltään tota ja ambos eivät ole erilaisia kuin kvanttorit, mutta ne lasketaan eri luokkaan syntaksinsa vuoksi: ne edeltävät kaikkia muita substantiivilausekkeen määreitä, mukaan lukien la.
Semantically, tota and ambos are no different from quantifiers, but they are treated as a separate class because of their syntax: they precede all other determiners in a noun phrase, including la.

Muita hyvin määriteltyjä kaavioja saadaan kokoamalla atomeja yhteen kvanttoreiden ja konnektiivien avulla.
All other well-formed formulae are obtained by composing atoms with logical connectives and quantifiers.

Fregen käyttämä notaatio poikkesi kuitenkin nykyisestä huomattavasti: hän käytti hyvin idiosynkraattista kaksiulotteista merkintätapaa, jossa konnektiivit ja kvanttorit on piirretty kaavoja yhdistävillä viivoilla, kun nykyään ne merkitään puolestaan sellaisilla symboleilla kuin ¬, ∧, ∨, ∃ ja ∀.
Frege presents his calculus using idiosyncratic two-dimensional notation: connectives and quantifiers are written using lines connecting formulas, rather than the symbols ¬, ∧, and ∀ in use today.