Tradução de "afirmações são verdadeiras" para o idioma inglês:
Dicionário Português-Inglês
Exemplos (Fontes externas, não revisadas)
| Equivalentemente, essas afirmações são verdadeiras em todos os modelos de ZFC mas são falsos em alguns modelos de ZF. | Equivalently, these statements are true in all models of ZFC but false in some models of ZF. |
| Nessa altura, os Friedman fizeram três poderosas afirmações factuais sobre como o mundo funciona afirmações que pareciam verdadeiras ou talvez verdadeiras ou pelo menos discutivelmente verdadeiras na altura, mas que parecem agora ser claramente falsas. | Back then, the Friedmans made three powerful factual claims about how the world works claims that seemed true or maybe true or at least arguably true at the time, but that now seem to be pretty clearly false. |
| Para qualquer um desses sistemas, sempre haverá afirmações sobre os números naturais que são verdadeiras, mas que não podem ser provadas dentro do sistema. | For any such system, there will always be statements about the natural numbers that are true, but that are unprovable within the system. |
| Isso é de interesse técnico, visto que todas as verdadeiras teorias formais da aritmética (teorias cujos axiomas são todos afirmações verdadeiras sobre os números naturais) são ω consistentes, e assim o teorema de Gödel, como alegado originalmente, implica neles. | This is mostly of technical interest, since all true formal theories of arithmetic (theories whose axioms are all true statements about natural numbers) are ω consistent, and thus Gödel's theorem as originally stated applies to them. |
| Estas são verdadeiras. | These are real. |
| Entretanto, tal termo também pode ser usado para afirmações falsas que aparentem ser verdadeiras em um primeiro momento. | It is also common for a theorem to be preceded by a number of propositions or lemmas which are then used in the proof. |
| Estas afirmações são irreflectidamente exageradas. | These claims are wildly overstated. |
| Algumas conspirações são verdadeiras. | Some conspiracies really are true. |
| As histórias são verdadeiras. | The stories are real. |
| Ambas as estórias são verdadeiras. | Both stories are true. |
| É possível cometer uma farsa, fazendo apenas afirmações verdadeiras usando texto ou contexto não familiar, como na brincadeira de monóxido de Dihidrogénio. | It is possible to perpetrate a hoax by making only true statements using unfamiliar wording or context, such as in the Dihydrogen monoxide hoax. |
| Não são tão verdadeiras quanto poderiam ser. | They're not as true as they could be. |
| Algumas peças são verdadeiras obras de arte. | Some are true works of art. |
| Quais são as verdadeiras intenções do Tom? | What are Tom's true intentions? |
| Todas as proposições económicas são afirmações de premissa conclusão . | All economic propositions are if then statements. |
| Amizades verdadeiras são ainda mais raras que diamantes. | True friendships are even rarer than diamonds. |
| Existem jogos de Mahjong que são verdadeiras obras de arte. | South African mahjong is a variant of Cantonese mahjong. |
| Por exemplo, alguém pode considerar todas as afirmações verdadeiras sobre os números naturais como axiomas (e nenhuma afirmação falsa), o que dá na teoria conhecida por aritmética verdadeira . | For example, one might take all true statements about the natural numbers to be axioms (and no false statements), which gives the theory known as true arithmetic . |
| É importante, então, para os Construtivistas Sociais considerar como afirmações científicas são justificadas. | Here the approach to the philosophy of science is to study how scientific communities actually operate. |
| Então, nenhum sistema formal (satisfazendo as hipóteses dos teoremas), que visa a caracterizar os números naturais, pode realmente fazer isso, pois existirão afirmações verdadeiras que o sistema não pode provar. | Thus no formal system (satisfying the hypotheses of the theorem) that aims to characterize the natural numbers can actually do so, as there will be true number theoretical statements that that system cannot prove. |
| Significado do primeiro teorema da incompletude O primeiro teorema da incompletude mostra que qualquer sistema formal consistente, que inclui o suficiente da teoria dos números naturais, é incompleto existem afirmações verdadeiras expressáveis em sua linguagem que são indemonstráveis dentro do sistema. | Meaning of the first incompleteness theorem Gödel's first incompleteness theorem shows that any consistent effectively generated formal system that includes enough of the theory of the natural numbers is incomplete there are true statements expressible in its language that are unprovable within the system. |
| Às vezes elas não são verdadeiras nem dentro das próprias fronteiras da América. | At times they don't even hold true at America's own borders. |
| Argumento válido, pois se as premissas são verdadeiras a conclusão deve ser verdadeira. | Valid argument if the premises are true the conclusion must be true. |
| Infelizmente, essas crenças são baseadas em suposições que nem sempre são verdadeiras em muitos países, em muitas culturas. | Unfortunately, these beliefs are based on assumptions that don't always hold true in many countries, in many cultures. |
| Como negócios, as ofertas econômicas que você provê elas são verdadeiras a elas mesmas? | As businesses, are the economic offerings you are providing are they true to themselves? |
| Provas formais são úteis porque os seus teoremas podem ser interpretados como proposições verdadeiras. | Formal proofs are useful because their theorems can be interpreted as true propositions. |
| As premissas e a conclusão são verdadeiras, mas a lógica segue junto com inferência. | The reader can check that the premises and conclusion are true, but Logic is concerned with inference does the truth of the conclusion follow from that of the premises? |
| Formas mais fracas Existem várias afirmações mais fracas que não são equivalentes ao Axioma da Escolha, mas são intimamente relacionadas. | Weaker forms There are several weaker statements that are not equivalent to the axiom of choice, but are closely related. |
| Algumas equações são verdadeiras para todos os valores das variáveis envolvidas (como em formula_1) essas equações são chamadas identidades . | Some equations are true for all values of the involved variables (such as formula_47) such equations are called identities. |
| Há, contudo, notícias verdadeiras. | Others, however, were authentic. |
| Estas são as informações verdadeiras. Vocês falharam no teste, mal viram cinco minutos de aula | These are the data. You failed the pop quiz, and you're hardly five minutes into the lecture. |
| Ligando e criando páginas Wikis são verdadeiras mídias hipertextuais, com estrutura de navegação não linear. | Some wikis keep a record of changes made to wiki pages often, every version of the page is stored. |
| Cada uma dessas afirmações está errada. | Every one of those statements is wrong. |
| Agora, mesmo estas sendo versões simplificadas das verdadeiras árvores são ainda um pouco complicadas, vamos simplificar. | Now, even though these are simplified versions of the real trees, they're still kind of complicated, so let's simplify them. |
| E são essas as verdadeiras qualidades pelas quais homens e mulheres foram honrados através das gerações. | And yet these are the very qualities for which men and women have been honored throughout the generations. |
| Afirmações indecidíveis prováveis em sistemas maiores Estas são equivalentes matemáticos naturais da sentença de Gödel verdade, mas indecidível . | Undecidable statements provable in larger systems These are natural mathematical equivalents of the Gödel true but undecidable sentence. |
| O conjunto das proposições verdadeiras alcançáveis é o menor conjunto de proposições verdadeiras satisfazendo estas condições. | The set of true reachable propositions is the smallest set of propositions satisfying these conditions. |
| Uma inferência pode ser válida, mesmo se as partes são falsas, e pode ser falsa, mesmo se as partes são verdadeiras. | An inference can be valid even if the parts are false, and can be invalid even if some parts are true. |
| Aqui estão algumas afirmações que necessitam do Axioma da Escolha no sentido de que eles não são prováveis em ZF mas são prováveis em ZFC. | Here are some statements that require the axiom of choice in the sense that they are not provable from ZF but are provable from ZFC (ZF plus AC). |
| Estes montantes são criados ou compensados devido à fusão , aquisição ou cisão , não se tratando de verdadeiras operações . | These amounts are created or netted due to the merger , acquisition or division and are not real transactions . |
| Estes montantes são criados ou compensados devido à fusão , aquisição ou cisão , não se tratando de verdadeiras operações . | These amounts are created or netted due to the merger , acqui sition or division and are not real transactions . |
| Em filosofia e lógica, contingência é o status de proposições que não são necessariamente verdadeiras nem necessariamente falsas. | In philosophy and logic, contingency is the status of propositions that are neither true under every possible valuation (i.e. |
| Não acredite no que você ouve ... as imagens que você vê em seus canais são verdadeiras, mas os comentários são simplesmente o oposto. | Do not believe, what you hear The picture you see on your channels is true, but the comments to it are opposite. |
| Nós acreditamos que as notícias sejam verdadeiras. | We believed that the news is true. |
| A família Ranidae engloba as rãs verdadeiras . | The true frogs, family Ranidae, have the widest distribution of any frog family. |
