Translation of "método dedutivo" to English language:
Dictionary Portuguese-English
Método - tradução :
Examples (External sources, not reviewed)
| Veja também Método dedutivo Raciocínio dedutivo Indução | The Pragmatic Problem of Induction, by Thomas Bullemore |
| Smith recusava este sistema por entender que o método dedutivo era o método correto para descobrir as verdades econômicas. | Smith rejected this, arguing that deductive reasoning from base principles was the proper method to discover economic truths. |
| Entretanto, em 1809, David Ricardo turvou as águas argumentando que a ciência da economia deveria usar um método diferente, o dedutivo. | However, in 1809, David Ricardo muddied the waters by arguing that the science of economics should use a different, deductive method. |
| Dessa forma, eles desenvolveram e usaram o método lógico dedutivo como um meio de evitar erros, e para conhecimento estrutural e comunicativo. | As such, they developed and used the logico deductive method as a means of avoiding error, and for structuring and communicating knowledge. |
| Em 1937, ele publicou um documento apresentando claramente suas visões da natureza e propósito do método dedutivo, e considerando o papel da lógica em estudos científicos. | In 1937, he published a paper presenting clearly his views on the nature and purpose of the deductive method, and the role of logic in scientific studies. |
| O problema era que um grupo influente em Oxford começou a argumentar assim porque, se funcionou tão bem em economia, esse método dedutivo deveria ser aplicado às ciências naturais também. | The problem was that an influential group at Oxford began arguing that because it worked so well in economics, this deductive method ought to be applied to the natural sciences too. |
| Desenvolvimento Histórico Visão Clássica O método lógico dedutivo clássico consistia em sistemas a partir dos quais premissas eram seguidas de conclusões através da aplicação de argumentos (silogismos, regras de inferência). | Historical development Early Greeks The logico deductive method whereby conclusions (new knowledge) follow from premises (old knowledge) through the application of sound arguments (syllogisms, rules of inference), was developed by the ancient Greeks, and has become the core principle of modern mathematics. |
| Aperfeiçoou o positivismo originalmente estabelecido por Auguste Comte, promovendo o que poderia ser considerado como uma forma de realismo epistemológico, assim como a utilização do método hipotético dedutivo na ciência social. | He refined the positivism originally set forth by Auguste Comte, promoting what could be considered as a form of epistemological realism, as well as the use of the hypothetico deductive model in social science. |
| Um argumento proposicional utilizando modus ponens é dito ser dedutivo. | A propositional argument using modus ponens is said to be deductive. |
| Um sistema formal (também chamado de cálculo lógico, ou um sistema lógico) é constituído por uma linguagem formal, juntamente com um sistema dedutivo (também denominado aparato dedutivo). | A formal system (also called a logical calculus , or a logical system ) consists of a formal language together with a deductive apparatus (also called a deductive system ). |
| Uma propriedade desejável de um sistema dedutivo é que ele seja completo. | A desirable property of a deductive system is that it be complete. |
| Axiomas e postulados são hipóteses básicas subjacentes a um corpo de conhecimento dedutivo. | Axioms and postulates are the basic assumptions underlying a given body of deductive knowledge. |
| Papel na lógica matemática Sistema dedutivo e completudeUm sistema dedutivo consiste, de um grupo formula_56 de axiomas lógicos, um conjunto formula_57 de axiomas não lógicos, e um conjunto formula_58 de regras de inferência. | Role in mathematical logic Deductive systems and completeness A deductive system consists of a set formula_56 of logical axioms, a set formula_57 of non logical axioms, and a set formula_58 of rules of inference . |
| Apesar do nome, a indução matemática é uma forma de raciocínio dedutivo e é totalmente rigorosa. | Despite its name, mathematical induction is not a form of inductive reasoning. |
| CONTABILIZAÇÃO NA DATA DE TRANSACÇÃO Método normal Método alternativo | TRADE DATE ACCOUNTING Regular approach Alternative approach |
| A lógica é frequentemente dividida em três partes o raciocínio indutivo, o raciocínio abdutivo e o raciocínio dedutivo. | Logic is often divided into three parts inductive reasoning, abductive reasoning, and deductive reasoning. |
| O teorema da completude de Godel estabiliza a completude de um certo comumente usado tipo de sistema dedutivo. | Gödel's completeness theorem establishes the completeness of a certain commonly used type of deductive system. |
| Método get | Getter |
| Método set | Setter |
| Método A | Method A |
| Indecidibilidade apenas implica que um sistema dedutivo particular, a ser considerado, não prova a validade ou falsidade da afirmação. | Undecidability only implies that the particular deductive system being considered does not prove the truth or falsity of the statement. |
| Método O principal método de suicídio varia dramaticamente entre os países. | Methods The leading method of suicide varies among countries. |
| O método da prioridade O problema de Post foi solucionado com um método chamado o método da prioridade um prova usando esse método é chamada de argumento de prioridade. | Post's problem was solved with a method called the priority method a proof using this method is called a priority argument . |
| Método de entrada | Input Method |
| O método funcionou. | The approach worked. |
| a ) Método B | Method B |
| Método de compilação | Compilation method |
| Método de compilação | New business Compilation method |
| Tratamento coerente dos compromissos segundo o método IRB e segundo o método standard | Consistent treatment of commitments in IRB and Standardised Approaches |
| Exemplos de código Método main O método main é onde o programa inicia. | The name of the class file is the name of the class, with .class appended. |
| Método dialético O Instituto também tentou reformular a dialética como um método concreto. | Dialectical method The Institute also attempted to reformulate dialectics as a concrete method. |
| Tal método é obsoleto. | Such a method is out of date. |
| Este método é confiável. | This method is sure to work. |
| Método das estrelas voadoras. | ... |
| Jornal Oficial da União Europeia CONTABILIZAÇÃO NA DATA DE TRANSACÇÃO Método normal Método alternativo | Official Journal of the European Union TRADE DATE ACCOUNTING Regular approach Alternative approach |
| Exemplos incluem o Método de Newton, Método da Bissecção e a Interação de Jacob. | Examples include Newton's method, the bisection method, and Jacobi iteration. |
| Método de compactação O método de compactação DIVX funciona como um MP3 para vídeo. | DivX, Inc. has since continued to develop the DivX codec, releasing DivX 5.0 in March 2002. |
| Em 1975, ele desenvolveu o método da cadeia de rescisão de sequenciamento do DNA, também conhecido como o método rescisão Dideoxy ou o método Sanger . | In 1977 Sanger and colleagues introduced the dideoxy chain termination method for sequencing DNA molecules, also known as the Sanger method . |
| A maneira que fazemos isso é com um método que chamamos de método de trânsito. | The way we do that, actually, is with a method, which we call the transit method. |
| Um método para simulação computacional de um buraco negro é o Método de Monte Carlo. | Primordial black holes could thus account for the creation of any type of black hole. |
| O resultado é que muitos métodos de representação têm dois nomes por exemplo, o método de Jefferson é o mesmo que o método de Hondt, e o método de Webster é o método de Sainte Laguë. | The result is that many apportionment methods have two names for instance, Jefferson's method is equivalent to the d'Hondt method, as is Webster's method to the Sainte Laguë method, while Hamilton's method is identical to the Hare largest remainder method. |
| Entretanto, o método está disponível. | But in the meanwhile, there is a method available. |
| B. Método e calendário previsto . | B. Method and Expected Timetable . |
| Este é o melhor método. | This is the very best method. |
| Método económico método contabilístico segundo o qual as operações são escrituradas na respectiva data de contrato . | Interest rate swap a contractual agreement to exchange cash flows representing streams of periodic interest payments with a counterparty either in one currency or , in the case of cross currency transactions , in two different currencies . |
Pesquisas relacionadas : Dedutivo - Raciocínio Dedutivo - Pensamento Dedutivo - Método Apropriado - Método Comunitário - Método Para - Método Inovador - Método Main - Método Comprovado - Método Comparativo - Método Básico - Método Adotado - Método Alternativo
