Translation of "logical consequence" to Portuguese language:
Dictionary English-Portuguese
Examples (External sources, not reviewed)
| Tarski produced axioms for logical consequence , and worked on deductive systems, the algebra of logic, and the theory of definability. | Tarski produziu axiomas para consequência lógica e trabalhou em sistemas dedutivos, algebrização da lógica e na teoria da definibilidade. |
| In a deductive theory, any sentence which is a logical consequence of one or more of the axioms is also a sentence of that theory. | Há também uma confusão relativa à análise do que poderia se chamar de grau de confiabilidade que uma teoria apresenta. |
| Logical errors | Erros lógicos |
| Logical An algorithm may be viewed as controlled logical deduction. | Lógico um algoritmo pode ser visto como uma dedução lógica controlada. |
| Logical Volume Management | Gestão de volumes lógicos |
| It's not logical. | Não é lógico. |
| It's not logical. | Isso não é lógico. |
| Everything is logical. | Tudo é lógico. |
| Saveguarding against logical errors | Salvaguarda contra erros lógicos |
| That would be logical. | Isso seria lógico. |
| Philosophy and Logical Syntax . | Philosophy and Logical Syntax . |
| A logical consequence of this is that Andorra should undertake to conform with Community rules on euro banknotes and coins , as provided for in Article 5 ( 1 ) of the draft decision . | Daqui decorre , logicamente , que Andorra se deveria comprometer a respeitar as disposições comunitárias relativas às notas e moedas de euro , conforme o previsto no n.o 1 do artigo 5.o do projecto de decisão . |
| Now, that's a logical error. | Agora, isto é um erro de lógica. |
| Super logical, you would think. | Super lógico, vocês poderiam pensar. |
| Article 2 Logical protection 1 . | Artigo 2.o Protecção lógica 1 . |
| It's the next logical step. | É o próximo passo lógico. |
| A system is said to be complete if, for all formulas formula_1,formula_60that is, for any statement that is a logical consequence of formula_57 there actually exists a deduction of the statement from formula_57. | Um sistema é dito ser completo se, para todas as fórmulasformula_1,Se formula_60 então formula_61significa que para alguns estados que a consequência lógica de formula_57 existe atualmente uma dedução do estado de formula_57. |
| Classical theory The law of comparative advantage provides a logical explanation of international trade as the rational consequence of the comparative advantages that arise from inter regional differences regardless of how those differences arise. | Teoria clássica A lei da vantagem comparativa fornece uma explicação para o comércio internacional como a consequência racional das vantagems comparativas que surgem a partir de diferenças inter regionais independentemente de como essas diferenças apareçam. |
| Well, first of all, logical progression. | Bem, antes de mais nada, progressão lógica. |
| You want a nice logical progression. | Você precisa de uma boa progressão lógica. |
| That would seem the logical conclusion. | Esta seria a conclusão lógica. |
| Not all real things are logical. | Nem todas as coisas reais são lógicas. |
| There must be a logical explanation. | Deve haver uma explicação lógica. |
| He was so logical and boring. | Ele tem uma cabeça lógica e é chato. |
| The first big success was by Gödel himself (before he proved the incompleteness theorems) who proved the completeness theorem for first order logic, showing that any logical consequence of a series of axioms is provable. | O primeiro grande sucesso foi o do próprio Gödel (antes dele ter provado o teorema da incompletude) que provou o teorema da completude para a lógica de primeira ordem, mostrando que qualquer consequência lógica de uma série de axiomas é demonstrável. |
| A Logical Journey From Gödel to Philosophy . | A Logical Journey From Gödel to Philosophy . |
| But it is still a logical subject. | Mas isso ainda é um sujeito lógico. |
| This article uses forms of logical notation. | Esse artigo utiliza formas da notação da Lógica. |
| For the Eurosystem the establishment of an integrated retail payments market , with a common set of payment instruments for the euro area , is highly desirable , as it is the logical consequence of the introduction of the euro . | Para o Eurosistema , é muito desejável a criação de um mercado integrado de pagamentos de retalho , com um conjunto comum de instrumentos de pagamento para a área do euro , na medida em que constitui a consequência lógica da introdução do euro . |
| Tarski's 1936 article On the concept of logical consequence argued that the conclusion of an argument will follow logically from its premises if and only if every model of the premises is a model of the conclusion. | Tarski publicou em O conceito da consequência lógica (1936) que a conclusão de um argumento seguirá logicamente de suas premissas se somente se cada modelo das premissas é um modelo da conclusão. |
| But this is a consequence. | Mas isto é uma consequência. |
| 'The world' is objective, logical, universal, factual, scientific. | O mundo é objetivo, lógico, universal, factual, científico. |
| Turkish is a very regular and logical language. | O Turco é uma língua muito regular e lógica. |
| Logical arguments Logical atheism holds that the various conceptions of gods, such as the personal god of Christianity, are ascribed logically inconsistent qualities. | Argumentos metafísicos Um autor escreve Argumentos lógicos O ateísmo lógico sustenta que às diversas concepções de deuses, como o deus pessoal do cristianismo, são atribuídas qualidades logicamente inconsistentes. |
| But there's this consequence out there. | Mas há esta consequencia. |
| If something doesn't make sense, it probably isn't logical. | Se algo não faz sentido, provavelmente não é lógico. |
| English and has properties not captured by logical conjunction. | Propriedades A conjunção lógica tem algumas propriedades. |
| Logical dilemmas The life and work of Kurt Gödel . | Logical dilemmas The life and work of Kurt Gödel . |
| Another name for a non logical axiom is postulate . | Outro nome para um axioma não lógico é postulado. |
| ... from nothing to being there is no logical bridge. | O conceito de Ser atravessa toda a história da filosofia, desde os seus primórdios. |
| One apparent consequence is extreme price volatility. | Uma consequência aparente é a extrema volatilidade dos preços. |
| That's not necessarily a bad unintended consequence. | Esta não é necessariamente uma má consequência não intencional. |
| And as a consequence, people chose it. | E por consequência, as pessoas a escolheram. |
| I mean, incredibly logical. So obvious, anybody could get it. | Quer dizer, incrivelmente lógico. Tão óbvio que qualquer um entenderia. |
| I mean, doesn't that seem to be the logical conclusion? | Quero dizer, não parece ser esta a conclusão lógica? |
Related searches : Direct Consequence - Natural Consequence - Consequence From - Necessary Consequence - Little Consequence - For Consequence - Consequence Level - Common Consequence - Failure Consequence - Unfortunate Consequence - Immediate Consequence - Logic Consequence