Translation of "implicação lógica" to English language:
Dictionary Portuguese-English
Implicação - tradução : Implicação - tradução : Lógica - tradução :
Examples (External sources, not reviewed)
| 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. |
| A implicação lógica de uma moeda que junta 17 países é uma língua oficial comum. | The logical implication of a currency that brings together 17 countries is a common, official language. |
| 4 ) IMPLICAÇÃO ORÇAMENTAL | 4 ) BUDGETARY IMPLICATION |
| Qual é a implicação disso? | Well what is the implication of that? |
| E aqui está a implicação do que aconteceu. | Here's the implication of what happens. |
| Essa implicação foi estudada por Boltzmann no século 19. | That implication was studied by Boltzmann back in the 19th century. |
| IMPLICAÇÃO ORÇAMENTAL A proposta não tem incidência no orçamento comunitário . | BUDGETARY IMPLICATION The proposal has no implication for the Community budget . |
| 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. |
| 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. |
| 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. |
| 4 ) IMPLICAÇÃO ORÇAMENTAL A proposta não tem quaisquer consequências para o orçamento comunitário . | The proposal has no implication for the Community budget . 5 ) ADDITIONAL INFORMATION |
| Fréchet escreveu que uma implicação entre duas proposições claramente tidas como verdadeiras não é um resultado novo, e Lebesgue escreveu que uma implicação entre duas proposições falsas não é de nenhum interesse . | Fréchet wrote that an implication between two well known propositions is not a new result, and Lebesgue wrote that an implication between two false propositions is of no interest . |
| Dicionário de Lógica. | Logic. |
| História da Lógica. | Wallies, Berlin, C.I.A.G. |
| Concluirei com uma implicação impressionante de todas essas ideias para um futuro bem distante. | I'll conclude with a striking implication of all these ideas for the very far future. |
| 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. |
| Algumas vezes a melhor forma de testar uma hipótese é considerar sua implicação mais extrema. | Sometimes the best way to test a hypothesis is to consider its most extreme implication. |
| Na verdade, a primeira implicação desta importante eleição é a confirmação do regresso à estabilidade. | Indeed, the first implication of this unquestionably significant election is that it confirms a return to stability. |
| 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. |
| Jogo de Lógica tipo Sokoban | Sokoban like Logic Game |
| Jogo de Lógica Caixa Preta | Blackbox Logic Game |
| Esta seria a conclusão lógica. | That would seem the logical conclusion. |
| Vossa resposta não tem lógica. | Your answer doesn't make sense. |
| Deve haver uma explicação lógica. | There must be a logical explanation. |
| Lógica para Ciência da Computação. | Ontology and History of Logic. |
| Paradoxo Matemática Lógica Antinomia jurídica | W. Windelband, History of Philosophy (Eng. |
| Lógica Modus ponens Modus tollens | Introduction to Medieval Logic . |
| 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. |
| 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. |
| A Lógica filosófica está muito mais preocupada com a conexão entre a Linguagem Natural e a Lógica. | Philosophical logic has a much greater concern with the connection between natural language and logic. |
Pesquisas relacionadas : Implicação De - Implicação Pessoal - Implicação Desta - Implicação Direta - Implicação Necessária - Por Implicação - Implicação Principal - Por Implicação - Pergunta Implicação - Implicação Clara - Implicação, Preclusão - Implicação Detém