Translation of "lógica de primeira ordem" to English language:
Examples (External sources, not reviewed)
| 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, mais precisamente em lógica clássica proposicional de primeira ordem uma constante representa uma função 0 ária (zero ária). | A constant function of a single variable, such as formula_3, has a graph that is a horizontal straight line, parallel to the x axis. |
| Sistemas da teoria dos conjuntos construtiva, como CST, CZF e IZF, firmam seus conjuntos de axiomas na lógica intuicionista em vez da lógica de primeira ordem. | Systems of constructive set theory, such as CST, CZF, and IZF, embed their set axioms in intuitionistic instead of classical logic. |
| Em muitos dialetos modernos de Prolog e na Lógica de primeira ordem, uma variável não pode ser unificada com um termo que a contém. | In many modern Prolog dialects and in first order logic, a variable cannot be unified with a term that contains it this is the so called occurs check . |
| Note que na terminologia da Lógica de primeira ordem, um átomo é uma proposição básica e é unificado similarmente a um termo de Prolog. | Note that in the terminology of first order logic, an atom is a basic proposition and is unified similarly to a Prolog term. |
| Bob Hale e Crispin Wright discutem que não é um problema para a lógica, porque os teoremas da incompletude se aplicam igualmente à lógica de primeira ordem assim como faz para a aritmética. | Bob Hale and Crispin Wright argue that it is not a problem for logicism because the incompleteness theorems apply equally to first order logic as they do to arithmetic. |
| O Entscheidungsproblem (termo alemão para problema de decisão ) é um problema da lógica simbólica que consiste em achar um algoritmo genérico para determinar se um dado enunciado da lógica de primeira ordem pode ser provado. | By the completeness theorem of first order logic, a statement is universally valid if and only if it can be deduced from the axioms, so the can also be viewed as asking for an algorithm to decide whether a given statement is provable from the axioms using the rules of logic. |
| Eles discutem que apenas aqueles que acreditam que os números naturais estão para ser definidos em termos da lógica de primeira ordem têm esse problema. | They argue that only those who believe that the natural numbers are to be defined in terms of first order logic have this problem. |
| Lógica matemática Se S é um conjunto de sentenças da lógica de primeira ordem e B é um subconjunto consistente de S , então B está incluso em um conjunto que é maximal entre os subconjuntos consistentes de S . | Mathematical logic If S is a set of sentences of first order logic and B is a consistent subset of S , then B is included in a set that is maximal among consistent subsets of S . |
| Em particular, a teoria dos conjuntos de Zermelo Fraenkel, combinada com lógica de primeira ordem, dá um satisfatório e um formalismo geralmente aceito por essencialmente toda matemática. | In particular Zermelo Fraenkel set theory, combined with first order logic, gives a satisfactory and generally accepted formalism for essentially all current mathematics. |
| Objetivos de normalização Um objetivo básico da primeira forma normal, definida por Codd em 1970, era permitir dados serem questionados e manipulados usando uma sub linguagem de dados universal atrelada à lógica de primeira ordem. | Objectives A basic objective of the first normal form defined by Codd in 1970 was to permit data to be queried and manipulated using a universal data sub language grounded in first order logic. |
| 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. | 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. |
| Então, expressando estas propriedades como axiomas teremos que usar a lógica de segunda ordem. | However, expressing these properties as axioms requires use of second order logic. |
| Supondo formula_14 uma linguagem de primeira ordem. | Let formula_14 be a first order language. |
| No sistema padrão da lógica de primeira ordem, um conjunto inconsistente de axiomas provará toda afirmação em sua linguagem (isso às vezes é chamado de princípio da explosão), e é, então, automaticamente completa. | In the standard system of first order logic, an inconsistent set of axioms will prove every statement in its language (this is sometimes called the principle of explosion), and is thus automatically complete. |
| A resposta é simples a ordem internacional não obedece a um código com uma consistência lógica. | The answer is simple International order does not adhere to a logically consistent code. |
| Tecnicamente, todo elemento de Smalltalk é um objeto de primeira ordem. | ANSI Smalltalk was ratified in 1998 and represents the standard version of Smalltalk. |
| A Terceira Ordem Regular surgiu do desejo de membros da Ordem Terceira da Penitência em levar um estilo de vida mais próximo da Primeira Ordem. | The Third Order Regular of St. Francis of Penance is a mendicant order rooted in the Third Order of St. Francis which was founded in 1447. |
| Condecorados com a Ordem de Lenin A primeira Ordem foi outorgada ao jornal Pravda em 23 de maio de 1930. | Recipients The first Order of Lenin was awarded to the newspaper Komsomolskaya Pravda on 23 May 1930. |
| formula_15Existem em geral muitas soluções de uma equação diferencial de primeira ordem. | All of these disciplines are concerned with the properties of differential equations of various types. |
| Este circuito é, de fato, um filtro passa baixas (de primeira ordem). | This circuit is, in fact, a basic (first order) lowpass filter. |
| A primeira justificativa é que, por razões de necessidade lógica, o futuro tem de ser semelhante ao passado. | Hume demands that a reason should be given for inferring what ought to be the case, from what is the case. |
| 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. |
| Assim, Miguel se tornou o patrono natural da primeira ordem de cavalaria da França, a Ordem de São Miguel, de 1469. | Thus Michael was the natural patron of the first chivalric order of France, the Order of Saint Michael of 1469. |
| O teorema de Lowenheim Skolem nos diz que se nós restringimos para a lógica de primeira ordem, alguns sistemas axiomáticos para as permissões reais em outros modelos, incluindo ambos modelos que são menores e maiores que os reais. | The Löwenheim Skolem theorems tell us that if we restrict ourselves to first order logic, any axiom system for the reals admits other models, including both models that are smaller than the reals and models that are larger. |
| 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. |
| A primeira ordem da missão era restaurar a alimentação elétrica. | The first order of business was to restore electric power. |
| Dicionário de Lógica. | Logic. |
| Primeira ordem Considerando uma molécula ou átomo não perturbado em um estado degenerado ( g ) com funções de estado ortonormais de ordem zero formula_7. | First order Let the unperturbed atom or molecule be in a g fold degenerate state with orthonormal zeroth order state functions formula_7. |
| Em reações consecutivas de primeira ordem, uma aproximação de estado estacionário a lei de taxa. | In consecutive first order reactions, a steady state approximation can simplify the rate law. |
| Normalmente eles usam axiomas lógicos para um mínimo conjunto de tautologias que é suficiente para provar todas as tautologias na linguagem na lógica de primeira ordem o axioma lógico é necessário para provar verdades lógicas que não são tautologias no sentido rígido. | Usually one takes as logical axioms at least some minimal set of tautologies that is sufficient for proving all tautologies in the language in the case of predicate logic more logical axioms than that are required, in order to prove logical truths that are not tautologies in the strict sense. |
| Para formula_6 a equação (0.1) ficaTemos neste caso uma equação diferencial de primeira ordem. | In case it can become zero, different cases must be considered separately for the analysis of the equation. |
| O trio foi a primeira banda de rock a ser honrada com tal ordem. | The trio was the first rock band to be so honoured, as a group. |
| Jogo de lógica GFingerPoken | GFingerPoken logic game |
| A lógica de mercado | The logic of the market |
| Alemanha Grã Cruz de Primeira Classe da Ordem de Mérito ( Großkreuz I. Klasse des Verdienstordens ) | Germany Grand Cross 1st class of the Order of Merit |
| 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 NMOS | Designs (e.g. |
| Estes apresentam estrutura muito semelhante à da traquéia e são denominados brônquios de 'primeira ordem'. | Histology The cartilage and mucous membrane of the primary bronchi are similar to those in the trachea. |
| O efeito Stark de primeira ordem ocorre em transições rotacionais de moléculas com a casca simétrica. | The first order Stark effect occurs in rotational transitions of symmetric top molecules (but not for linear and asymmetric molecules). |
| Lógica Na lógica, Antístenes foi atormentado pelo Problema dos universais. | Logic In logic, Antisthenes was troubled by the problem of universals. |
| 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 . |
| Leis de taxa relativamente simples existem para reações de ordem zero (no qual as taxas de reação são independentes da concentração), reações de primeira ordem, e reações de segunda ordem, e podem ser derivado para outras. | Relatively simple rate laws exist for zero order reactions (for which reaction rates are independent of concentration), first order reactions, and second order reactions, and can be derived for others. |
| Lógica de segunda ordem predicativa mais Lei Básica V é comprovadamente consistente por métodos finitístico ou construtivos, mas pode interpretar apenas fragmentos muito fracos da aritmética. | Predicative second order logic plus Basic Law V is provably consistent by finitistic or constructive methods, but it can interpret only very weak fragments of arithmetic. |
| Jogo de Lógica tipo Sokoban | Sokoban like Logic Game |
Pesquisas relacionadas : De Primeira Ordem - Primeira Deterioração Ordem - Pseudo Primeira Ordem - Correlação De Primeira Ordem - Reacção De Primeira Ordem - Sistema De Primeira Ordem - Filtro De Primeira Ordem - Resposta De Primeira Ordem - Autocorrelação De Primeira Ordem - Cinética De Primeira Ordem - Aproximação De Primeira Ordem - De Primeira Ordem Dominância Estocástica - Ordem
