Tradução de "é consistente" para o idioma inglês:
Dicionário Português-Inglês
Exemplos (Fontes externas, não revisadas)
| Mas como PA é consistente, o maior subconjunto consistente de PA é PA, então, nesse sentido, PA prova que é consistente . | But since PA is consistent, the largest consistent subset of PA is just PA, so in this sense PA proves that it is consistent . |
| Você não é consistente. | You are not consistent. |
| É preciso ser consistente. | It's got to be consistent. |
| Ela é consistente em suas opiniões. | She is consistent in her opinions. |
| Assim, a suposição de que ZF é consistente (tem qualquer modelo que seja) implica que ZF juntamente com estes dois princípios é consistente. | Thus the assumption that ZF is consistent (has at least one model) implies that ZF together with these two principles is consistent. |
| Mas o acordo é menos consistente do que parece. | But agreement is thinner than it appears. |
| ZF DC AD é consistente dado que um axioma para um cardinal grande forte é consistente (a existência de infinitos deles cardinais de Woodin). | ZF DC AD is consistent provided that a sufficiently strong large cardinal axiom is consistent (the existence of infinitely many Woodin cardinals). |
| Por exemplo, ZF DC BP é consistente, se ZF for. | For example, ZF DC BP is consistent, if ZF is. |
| Você deve ser consistente. | You want it to be consistent. |
| Isso é consistente com a nossa intuição de que o genocídio é único. | That is consistent with our intuition that genocide is unique. |
| E o primeiro componente consistente do arrependimento é basicamente a negação. | So the first consistent component of regret is basically denial. |
| O tumor na sua perna não é consistente com um tumor benigno. | The tumor in your leg is not consistent with a benign tumor. |
| Esta mudança nas condições de mercado é fundamentada por uma narrativa consistente. | A consistent narrative underpins this change in market conditions. |
| Primeiro, a matemática é completa ... Segundo, a matemática é consistente ... E terceiro, a matemática é decidível ? | First, was mathematics complete ... Second, was mathematics consistent ... And thirdly, was mathematics decidable ? |
| A afirmação e a prova original de Gödel do teorema da incompletude requerem que tomemos por hipótese que a teoria não é somente consistente, mas ω consistente . | Gödel's original statement and proof of the incompleteness theorem requires the assumption that the theory is not just consistent but ω consistent . |
| Esta assegura que a legislação nacional é , a priori , consistente com a lei comunitária . | It ensures that national legislation is a priori consistent with Community law . |
| Ele argumenta que nenhuma teoria interessante é completamente consistente com todos os fatos relevantes. | He argued that no interesting theory is ever consistent with all the relevant facts. |
| Ele também era um proponente consistente do poliamor. | He was also a consistent proponent of polyamory. |
| Nós não temos uma metodologia consistente de testes . | We have no consistent testing. |
| assegura a aplicação consistente das políticas do BCE | ensures consistent implementation of ECB policies |
| Essa última definição é consistente com o uso feito em matemática superior, por exemplo no cálculo. | The latter definition is consistent with its uses in higher mathematics such as calculus. |
| O que PA não prova é que o maior subconjunto consistente de PA é, de fato, todo o PA. (O termo maior subconjunto consistente de PA é tecnicamente ambíguo, mas o que quer dizer é que o maior segmento inicial e consistente dos axiomas de PA, ordenados seguindo um critério específico i.e., por números de Gödel , os números codificados pelo axioma como usados por Gödel, mencionado acima). | What PA does not prove is that the largest consistent subset of PA is, in fact, the whole of PA. (The term largest consistent subset of PA is technically ambiguous, but what is meant here is the largest consistent initial segment of the axioms of PA ordered according to specific criteria i.e., by Gödel numbers , the numbers encoding the axioms as per the scheme used by Gödel mentioned above). |
| Foi uma temporada consistente e ligeiramente melhor que 2008. | The 2008 season was a mixture of success and disappointment for Williams. |
| Vou dar um exemplo de quando a inteligência torna algo não consistente, mas mesmo assim é melhor. | I'm going to give you some examples where intelligence makes something not consistent, but it's better. |
| A função do terceiro nível é assegurar a interpretação da legislação comunitária de forma eficiente e consistente . | The function of the third level is to ensure that Community law is interpreted in an efficient and consistent manner . |
| Issues Não é todo corpo consistente de proposições que podem ser descritos por uma coleção de axiomas. | Issues Not every consistent body of propositions can be captured by a describable collection of axioms. |
| Isto é, todo conjunto consisten de sentenças de primeira ordem pode ser estendido para conjunto consistente maximal. | That is, every consistent set of first order sentences can be extended to a maximal consistent set. |
| fábricas de notas , contribuindo assim para assegurar uma qualidade consistente . | Throughout the year , production progress was carefully monitored by the ECB in terms of both quantity and quality . During this period , the visual appearance of the banknotes was also regularly sampled . |
| As caixas produzidas aqui são fabricadas com material muito consistente. | The boxes produced here are made of a very consistent material. |
| Considerando o da direita, a informação é consistente com aqueles dois azulejos que estão sob a mesma luz. | Whereas on the right, the information is consistent with those two tiles being under the same light. |
| divulgaram seu estudo sugerindo que a trajetória do objeto é consistente com uma origem no cinturão de asteroides. | released a study suggesting that the object had arrived from the direction of the asteroid belt. |
| A descoberta mais consistente é a associação entre a EM e os alelos do MHC DR15 e DQ6. | The most consistent finding is the association between multiple sclerosis and alleles of the MHC defined as DR15 and DQ6. |
| A pobreza absoluta refere se a um nível que é consistente ao longo do tempo e entre países. | Absolute poverty Absolute poverty refers to a set standard which is consistent over time and between countries. |
| Efetividade Como muitos outros métodos contracetivos, a efetividade confiável é alcançada somente com o uso correto e consistente. | Effects Like many methods of birth control, reliable effect is achieved only by correct and consistent use. |
| Toda a informação incluída no processo de consolidação deve ser consistente . | There shall be consistency across reports in the consolidation process . |
| O valor de referência é calculado de forma a ser consistente com e contribuir para a estabilidade de preços . | The reference value is derived in a way that is consistent with and serves the achievement of price stability . |
| Além disso , com esta opção a distribuição dos custos e benefícios entre os grupos interessados é a mais consistente . | Furthermore , the distribution of costs and benefits among stakeholder groups under this option is the most consistent . |
| Fósseis também pode restringir a idade das linhagens e demonstrar como uma árvore é consistente com o registro estratigráfico. | Fossils can also constrain the age of lineages and thus demonstrate how consistent a tree is with the stratigraphic record stratocladistics incorporates age information into data matrices for phylogenetic analyses. |
| Um conjunto de axiomas que é tanto completo quanto consistente, contudo, prova um conjunto maximal de teoremas não contraditórios. | A set of axioms that is both complete and consistent, however, proves a maximal set of non contradictory theorems. |
| Se as condições da lei dos grandes números valerem, então s 2 é um estimador consistente de σ 2. | If the conditions of the law of large numbers hold for the squared observations, s 2 is a consistent estimator of σ 2. |
| Cuba é uma força dominante no boxe amador, de forma consistente a realização registra medalhas em grandes competições internacionais. | Cuba is a dominant force in amateur boxing, consistently achieving high medal tallies in major international competitions. |
| Mas se T 2 também provasse que T 1 é consistente (isto é, que não há tal n ), então ele próprio seria inconsistente. | But if T 2 also proved that T 1 is consistent (that is, that there is no such n), then it would itself be inconsistent. |
| Ele queria que o universo fosse eterno e imutável, mas este tipo de universo não é consistente com a relatividade. | He wanted the universe to be eternal and unchanging, but this type of universe is not consistent with relativity. |
| Tal é igualmente consistente com a taxa de crescimento negativa observada nos títulos de dívida de curto prazo em 2005 . | This is also consistent with the negative growth rate of short term debt securities observed in 2005 . |
| Esta avaliação é , de um modo geral , consistente com as projecções de Setembro de 2005 elaboradas por especialistas do BCE . | This assessment is broadly consistent with the September 2005 ECB staff projections . |
Pesquisas relacionadas : Que é Consistente - Não é Consistente - Isso é Consistente - Ela é Consistente - É Consistente Com - Informação é Consistente - Como é Consistente - O Que é Consistente - Não é Consistente Com - Não é Totalmente Consistente - Crescimento Consistente - Comunicação Consistente - Entrega Consistente
