-
1 More
[mɔː(r)] 1.quantisostantivo femminile1)2) more and more sempre più2.more and more work, time — sempre più lavoro, tempo
1) (larger amount or number) piùmany were disappointed, more were angry — le persone deluse erano molte, ma ancora di più erano le persone arrabbiate
2) (additional amount, number) (di) più3.in Mexico, of which more later — in Messico, di cui riparleremo più avanti
2) (to a greater extent) di più, piùyou must work, rest more — devi lavorare, riposare di più
the more you think of it, the harder it will seem — più ci pensi, più ti sembrerà difficile
3) (longer)4) (again)5) (rather)6) more and more sempre (di) più7) more or less più o meno8) more so ancora di piùin York, and even more so in Oxford — a York, e ancor di più a Oxford
it is interesting, made (even) more so because — è interessante, ancor più perché
he is just as active as her, if not more so o or even more so è attivo quanto lei, se non di più; (all) the more so because ancora di più perché; they are all disappointed, none more so than him sono tutti delusi, ma nessuno quanto lui; no more so than usual — non più del normale
9) more than (greater amount or number) più di••••he's nothing more (nor less) than a thief he's a thief, neither more nor less è semplicemente un ladro, niente di più e niente di meno; he's nothing o no o not much more than a servant è soltanto un servo; and what is more e per di più, e come se non bastasse; there's more where that came from — non è che l'inizio
Note:When used as a quantifier to indicate a greater amount or quantity of something, more is very often translated by più, in più or ancora: more cars than people = più auto che persone; some more books = qualche libro in più / ancora qualche libro. For examples and further uses, see I.1 below.- When used to modify an adjective or an adverb to form the comparative, more is very often translated by più: more expensive = più caro; more beautiful = più bello; more easily = più facilmente; more regularly = più regolarmente. For examples and further uses, see III.1 below* * *[mo:]comparative; = much* * *(Surnames) More /mɔ:(r)/* * *[mɔː(r)] 1.quantisostantivo femminile1)2) more and more sempre più2.more and more work, time — sempre più lavoro, tempo
1) (larger amount or number) piùmany were disappointed, more were angry — le persone deluse erano molte, ma ancora di più erano le persone arrabbiate
2) (additional amount, number) (di) più3.in Mexico, of which more later — in Messico, di cui riparleremo più avanti
2) (to a greater extent) di più, piùyou must work, rest more — devi lavorare, riposare di più
the more you think of it, the harder it will seem — più ci pensi, più ti sembrerà difficile
3) (longer)4) (again)5) (rather)6) more and more sempre (di) più7) more or less più o meno8) more so ancora di piùin York, and even more so in Oxford — a York, e ancor di più a Oxford
it is interesting, made (even) more so because — è interessante, ancor più perché
he is just as active as her, if not more so o or even more so è attivo quanto lei, se non di più; (all) the more so because ancora di più perché; they are all disappointed, none more so than him sono tutti delusi, ma nessuno quanto lui; no more so than usual — non più del normale
9) more than (greater amount or number) più di••••he's nothing more (nor less) than a thief he's a thief, neither more nor less è semplicemente un ladro, niente di più e niente di meno; he's nothing o no o not much more than a servant è soltanto un servo; and what is more e per di più, e come se non bastasse; there's more where that came from — non è che l'inizio
Note:When used as a quantifier to indicate a greater amount or quantity of something, more is very often translated by più, in più or ancora: more cars than people = più auto che persone; some more books = qualche libro in più / ancora qualche libro. For examples and further uses, see I.1 below.- When used to modify an adjective or an adverb to form the comparative, more is very often translated by più: more expensive = più caro; more beautiful = più bello; more easily = più facilmente; more regularly = più regolarmente. For examples and further uses, see III.1 below
См. также в других словарях:
Quantifier elimination — is a technique in mathematical logic, model theory, and theoretical computer science.We say that a given theory has quantifier elimination if for every sentence with quantification there exists an equivalent (modulo the theory) sentence without… … Wikipedia
quantifier — Informally, a quantifier is an expression that reports a quantity of times that a predicate is satisfied in some class of things (i.e. in a ‘domain’). Thus, thinking about a class of children and their diets, one might report that some eat cake,… … Philosophy dictionary
quantifier shift fallacy — A fallacy of reversing the order of two quantifiers . The common form is that of moving from a statement of the form ‘every x has a related y ’ to one of the form ‘there is some y related to every x ’. An easily detected instance would be… … Philosophy dictionary
Skolem normal form — A formula of first order logic is in Skolem normal form (named after Thoralf Skolem) if it is in conjunctive prenex normal form with only universal first order quantifiers. Every first order formula can be converted into Skolem normal form while… … Wikipedia
Prenex normal form — A formula of the predicate calculus is in prenex[1] normal form if it is written as a string of quantifiers followed by a quantifier free part (referred to as the matrix). Every formula in classical logic is equivalent to a formula in prenex… … Wikipedia
Pro-form — A pro form is a type of function word or expression that stands in for (expresses the same content as) another word, phrase, clause or sentence where the meaning is recoverable from the context. They are used either to avoid repetitive… … Wikipedia
Bounded quantifier — In the study of formal theories in mathematical logic, bounded quantifiers are often added to a language. These are two quantifiers in addition to forall and exists. They are motivated by the fact that determining whether a sentence with only… … Wikipedia
prenex normal form — ˈprēˌneks noun Etymology: Late Latin praenexus tied up or bound in front, from Latin prae pre + nexus, past participle of nectere to tie, bind more at annex : a normal form of an expression in the functional calculus in which all the quantifiers… … Useful english dictionary
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia