Tradução de "inferência lógica" para o idioma inglês:
Exemplos (Fontes externas, não revisadas)
| Em muitas definições de lógica, inferência lógica e inferência com conteúdo puramente formal são a mesma coisa. | In many definitions of logic, logical inference and inference with purely formal content are the same. |
| Lógica simbólica é o estudo das abstrações simbólicas que capturam as características formais da inferência lógica. | Symbolic logic is the study of symbolic abstractions that capture the formal features of logical inference. |
| Lógica formal é o estudo da inferência com conteúdo puramente formal. | Formal logic is the study of inference with purely formal content. |
| Lógica informal pode chamar a atenção para o estudo da argumentação, que enfatiza implicação, lógica formal e de inferência. | Informal logic may be said to emphasize the study of argumentation, whereas formal logic emphasizes implication and inference. |
| 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? |
| Na lógica, uma premissa é uma fórmula considerada hipoteticamente verdadeira, dentro de uma dada inferência. | An example of this is the use of the rules of inference found within symbolic logic. |
| As duas principais escolas de inferência são a inferência freqüentista (ou clássica) e a inferência bayesiana. | The classical (or frequentist) paradigm, the Bayesian paradigm, and the AIC based paradigm are summarized below. |
| A validade de uma inferência depende da forma da inferência. | The validity of an inference depends on the form of the inference. |
| Inferência incorreta Uma inferência incorreta é conhecida como uma falácia. | Incorrect inference An incorrect inference is known as a fallacy. |
| 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. |
| Em lógica proposicional, esses símbolos podem ser manipulados de acordo com um conjunto de axiomas e regras de inferência, muitas vezes dadas na forma de tabelas verdade. | In propositional logic, these symbols can be manipulated according to a set of axioms and rules of inference, often given in the form of truth tables. |
| Então vamos pensar sobre a inferência. | So let's think about the inference. |
| Motor de inferência O motor de inferência é um elemento essencial para a existência de um sistema especialista. | One of the early innovations of expert systems shells was to integrate inference engines with a user interface. |
| E a ideia central da inferência bayesiana é que há duas fontes de informação das quais é feita nossa inferência. | And the key idea to Bayesian inference is you have two sources of information from which to make your inference. |
| 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 . |
| A inferência estatística é geralmente distinta da estatística descritiva. | http www.springerreference.com docs html chapterdbid 372458.html Young, G.A., Smith, R.L. |
| Ao trabalhar com a lógica fuzzy é comum chamar a lógica booleana de lógica nítida. | Fuzzy logic has been applied to many fields, from control theory to artificial intelligence. |
| A lógica simbólica é frequentemente dividida em dois ramos lógica proposicional e a lógica de predicados. | Symbolic logic is often divided into two branches propositional logic and predicate logic. |
| Quando um argumento válido é usado para derivar uma conclusão falsa de premissas falsas, a inferência é válida, pois segue a forma de uma inferência correta. | (wrong)When a valid argument is used to derive a false conclusion from false premises, the inference is valid because it follows the form of a correct inference. |
| Lógica NMOS | Designs (e.g. |
| Lógica Na lógica, Antístenes foi atormentado pelo Problema dos universais. | Logic In logic, Antisthenes was troubled by the problem of universals. |
| Na lógica proposicional, modus ponendo ponens (em latim significa a maneira que afirma afirmando , muitas vezes abreviado para MP ou modus ponens) ou a eliminação da implicação é uma válida e simples forma de argumento e regra de inferência. | In propositional logic, modus ponendo ponens (Latin for the way that affirms by affirming often abbreviated to MP or modus ponens) or implication elimination is a valid, simple argument form and rule of inference. |
| Na programação lógica, fatos sobre o domínio do problema são expressados como fórmulas lógicas, e os programas são executados ao se aplicar regras de inferência nas fórmulas até que uma resposta é encontrada, ou a coleção de fórmulas é provada inconsistente. | Facts about the problem domain are expressed as logic formulae, and programs are executed by applying inference rules over them until an answer to the problem is found, or the collection of formulae is proved inconsistent. |
| Dicionário de Lógica. | Logic. |
| História da Lógica. | Wallies, Berlin, C.I.A.G. |
| Popper defendeu que a ciência não poderia ser baseada em tal inferência. | Inductive categorical inference Popper held that science could not be grounded on such an inferential basis. |
| E o que isso significa é que nós somos máquinas de inferência bayesiana. | And what it means is we really are Bayesian inference machines. |
| Jogo de lógica GFingerPoken | GFingerPoken logic game |
| A lógica de mercado | The logic of the market |
| Um Prelúdio á Lógica. | Cohen and M.W. |
| Introdução à Lógica Simbólica. | Introduction to Mathematical Logic . |
| A lógica, entretanto, prevaleceu. | However, it is all we have. |
| (Veja também lógica intuicionista). | U.S. Dept. |
| Mundo Possível Lógica Modal | Acumben Publishing Limited. |
| O desenvolvimento da Lógica. | The development of logic . |
| Estas áreas compartilham resultados básicos sobre lógica, particularmente lógica de primeira ordem, e definibilidade. | These areas share basic results on logic, particularly first order logic, and definability. |
| Na lógica clássica, uma contradição consiste numa incompatibilidade lógica entre duas ou mais proposições. | In classical logic, a contradiction consists of a logical incompatibility between two or more propositions. |
| Argumentos Formais são estudados na lógica formal (historicamente chamada lógica simbólica, mais comumente referida como lógica matemática) e são expressos em uma linguagem formal. | Conversely, formal arguments are studied in formal logic (historically called symbolic logic , more commonly referred to as mathematical logic today) and are expressed in a formal language. |
| O estudo da lógica O conceito de forma lógica é central à lógica, que se baseia na ideia de que a validade de um argumento é determinada pela sua forma lógica, não pelo seu conteúdo. | The study of logic The concept of logical form is central to logic, it being held that the validity of an argument is determined by its logical form, not by its content. |
| Lógica tradicional Esta tradição começou com o livro Lógica, ou a arte do pensamento ou Lógica de Port Royal de Antoine Arnauld e Pierre Nicole. | Traditional logic The textbook tradition Traditional logic generally means the textbook tradition that begins with Antoine Arnauld and Pierre Nicole's Logic, or the Art of Thinking , better known as the Port Royal Logic . |
| A lógica silogística aristotélica tradicional e a lógica simbólica moderna são exemplos de lógicas formais. | Traditional Aristotelian syllogistic logic and modern symbolic logic are examples of formal logics. |
| Na lógica simbólica e lógica matemática, demonstrações feitas por humanos podem ser auxiliadas por computador. | For example, in symbolic logic and mathematical logic, proofs by humans can be computer assisted. |
| Hoje isso é visto como uma inferência sem suporte baseada em interpretações das Éclogas . | This is now thought to be an unsupported inference from interpretations of the Eclogues . |
| Jogo de Lógica tipo Sokoban | Sokoban like Logic Game |
| Jogo de Lógica Caixa Preta | Blackbox Logic Game |
Pesquisas relacionadas : Inferência - Inferência - Por Inferência - Inferência Sobre - Inferência Adversa - Inferência Negativa - Inferência Humana - Inferência Filogenética - Inferência Probabilística - Inferência Com - Inferência Fuzzy - Inferência Para - Inferência Indutiva
