Translation of "logical system" to Portuguese language:
Examples (External sources, not reviewed)
| 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 ). | 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). |
| Logical errors | Erros lógicos |
| Logical An algorithm may be viewed as controlled logical deduction. | Lógico um algoritmo pode ser visto como uma dedução lógica controlada. |
| Logical Volume Management | Gestão de volumes lógicos |
| It's not logical. | Não é lógico. |
| It's not logical. | Isso não é lógico. |
| Everything is logical. | Tudo é lógico. |
| 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 . | 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. |
| Saveguarding against logical errors | Salvaguarda contra erros lógicos |
| That would be logical. | Isso seria lógico. |
| Philosophy and Logical Syntax . | Philosophy and Logical Syntax . |
| Modern mainframes, notably the IBM zSeries, System z9 and System z10 servers, offer two levels of virtualization logical partitions (LPARs, via the PR SM facility) and virtual machines (via the z VM operating system). | Os mainframes têm a capacidade de executar diferentes sistemas operacionais, sendo seus recursos de hardware virtualizados através de um componente de hardware nativo (PR SM) ou adicionalmente por software. |
| Now, that's a logical error. | Agora, isto é um erro de lógica. |
| Super logical, you would think. | Super lógico, vocês poderiam pensar. |
| Article 2 Logical protection 1 . | Artigo 2.o Protecção lógica 1 . |
| It's the next logical step. | É o próximo passo lógico. |
| A system may not implement all the entities in a logical model, but the model serves as a reference point or template. | No modelo lógico isso não pode ser feito um atributo só é representado na Entidade que o pertence. |
| That response is only logical, as investors seek the security of a well functioning legal system to protect them from capricious political decisions. | Essa reacção é a única lógica, uma vez que os investidores procuram a segurança de um sistema legal que funcione bem, para os proteger de decisões políticas inconstantes. |
| Well, first of all, logical progression. | Bem, antes de mais nada, progressão lógica. |
| You want a nice logical progression. | Você precisa de uma boa progressão lógica. |
| That would seem the logical conclusion. | Esta seria a conclusão lógica. |
| Not all real things are logical. | Nem todas as coisas reais são lógicas. |
| There must be a logical explanation. | Deve haver uma explicação lógica. |
| He was so logical and boring. | Ele tem uma cabeça lógica e é chato. |
| A Logical Journey From Gödel to Philosophy . | A Logical Journey From Gödel to Philosophy . |
| But it is still a logical subject. | Mas isso ainda é um sujeito lógico. |
| This article uses forms of logical notation. | Esse artigo utiliza formas da notação da Lógica. |
| Important considerations Care with a distributed database must be taken to ensure the following The distribution is transparent users must be able to interact with the system as if it were one logical system. | Importantes considerações Cuidados com banco de dados distribuídos devem ser tomados para assegurar o seguinte A distribuição é transparente usuários devem poder interagir com o sistema como se ele fosse um único sistema lógico. |
| 'The world' is objective, logical, universal, factual, scientific. | O mundo é objetivo, lógico, universal, factual, científico. |
| Turkish is a very regular and logical language. | O Turco é uma língua muito regular e lógica. |
| Logical arguments Logical atheism holds that the various conceptions of gods, such as the personal god of Christianity, are ascribed logically inconsistent qualities. | Argumentos metafísicos Um autor escreve Argumentos lógicos O ateísmo lógico sustenta que às diversas concepções de deuses, como o deus pessoal do cristianismo, são atribuídas qualidades logicamente inconsistentes. |
| If something doesn't make sense, it probably isn't logical. | Se algo não faz sentido, provavelmente não é lógico. |
| English and has properties not captured by logical conjunction. | Propriedades A conjunção lógica tem algumas propriedades. |
| Logical dilemmas The life and work of Kurt Gödel . | Logical dilemmas The life and work of Kurt Gödel . |
| Another name for a non logical axiom is postulate . | Outro nome para um axioma não lógico é postulado. |
| ... from nothing to being there is no logical bridge. | O conceito de Ser atravessa toda a história da filosofia, desde os seus primórdios. |
| Charles Sanders Peirce built upon the work of Boole to develop a logical system for relations and quantifiers, which he published in several papers from 1870 to 1885. | Charles Sanders Peirce construiu sobre os estudos de Boole almejando desenvolver uma sistema de relações lógica e quantificadores o qual ele publicou diversas vezes entre 1870 e 1885. |
| Logicians use formal languages to express the truths which they are concerned with, and as such there is only truth under some interpretation or truth within some logical system. | Assim só existe verdade em alguma interpretação lógica ou dentro de algum sistema lógico. |
| 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. | 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. |
| I mean, incredibly logical. So obvious, anybody could get it. | Quer dizer, incrivelmente lógico. Tão óbvio que qualquer um entenderia. |
| I mean, doesn't that seem to be the logical conclusion? | Quero dizer, não parece ser esta a conclusão lógica? |
| 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 . | 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. |
| Segment addressing In real mode each logical address points directly into physical memory location, every logical address consists of two 16 bit parts The segment part of the logical address contains the base address of a segment with a granularity of 16 bytes, i.e. | Cada endereço lógico consiste em duas partes de 16 bits, uma parte contendo um segmento do endereço lógico com o endereço base de um segmento com uma granularidade de 16 bytes, e a outra parte contendo o deslocamento do endereço lógico dentro do segmento. |
| But the only logical explanation was that there were hot springs. | Mas a única lógica era que havia fontes quentes. |
| Something that's completely normal or logical isn't going to be funny. | Uma coisa que é completamente normal ou lógica, não tem piada. |
Related searches : Logical Choice - Logical Thinking - Logical Consequence - Logical Flow - Logical Extension - Logical Progression - Logical Fallacy - Logical Sequence - Logical Positivism - Logical Quantifier - Logical Step - Logical Topology - Logical Diagram
