Translation of "dedutivo" to English language:
Examples (External sources, not reviewed)
| Veja também Método dedutivo Raciocínio dedutivo Indução | The Pragmatic Problem of Induction, by Thomas Bullemore |
| 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. |
| 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. |
| 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. |
| 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. |
| 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. |
| Tome se uma argumento dedutivo válido (encadeamento lógico correto entre premissas e conclusão) na forma de um silogismo clássico (premissa maior, premissa menor, conclusão). | The general form of an argument in a natural language is that of premises (typically in the form of propositions, statements or sentences) in support of a claim the conclusion. |
| Os temas unificadores na lógica matemática incluem o estudo do poder expressivo de sistemas formais e o poder dedutivo de sistemas de prova matemática formal. | The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems. |
| Deste modo, um axioma é uma base elementar para um sistema de lógica formal que junto com as regras de inferência define um sistema dedutivo. | Thus, an axiom is an elementary basis for a formal logic system that together with the rules of inference define a deductive system. |
| Existe dessa forma, de um lado, a noção da completude de um sistema dedutivo e do outro temos a completude dos conjuntos de axiomas não lógicos. | There is thus, on the one hand, the notion of completeness of a deductive system and on the other hand that of completeness of a set of non logical axioms . |
| 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 primeiro é o sentido da teoria da prova relacionada aos teoremas de Gödel, sobre uma sentença não ser demonstrável nem refutável em um sistema dedutivo específico. | The first of these is the proof theoretic sense used in relation to Gödel's theorems, that of a statement being neither provable nor refutable in a specified deductive system. |
| Nas ocasiões em que Banner tem controlado o corpo do Hulk, ele tem aplicado os princípios da física aos problemas e desafios e usado o raciocínio dedutivo. | On the occasions that Banner has controlled the Hulk's body, he has applied principles of physics to problems and challenges and used deductive reasoning. |
| O sistema dedutivo pode consistir num conjunto de regras de transformação que possam ser interpretados como regras válidas de inferência ou um conjunto de axiomas, ou tem ambos. | The deductive apparatus may consist of a set of transformation rules which may be interpreted as valid rules of inference or a set of axioms, or have both. |
| Sob a escrita do quadrinista Paul Jenkins, Banner mostrou se um fugitivo competente, aplicando o raciocínio dedutivo e observação para descobrir os eventos que transpiram em torno dele. | Under the writing of Paul Jenkins, Banner was shown to be a capable fugitive, applying deductive reasoning and observation to figure out the events transpiring around him. |
| 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. |
| Muitos dos resultados de Euclides já haviam sido afirmados por matemáticos gregos anteriores, porém ele foi o primeiro a demonstrar como essas proposições poderiam ser reunidas juntas em um abrangente sistema dedutivo. | Although many of Euclid's results had been stated by earlier mathematicians, Euclid was the first to show how these propositions could fit into a comprehensive deductive and logical system. |
