Translation of "sistema lógico" to English language:
Dictionary Portuguese-English
Examples (External sources, not reviewed)
| 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 ). |
| Assim só existe verdade em alguma interpretação lógica ou dentro de algum sistema lógico. | 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. |
| Não é lógico. | It's not logical. |
| Tudo é lógico. | Everything is logical. |
| Isso seria lógico. | That would be logical. |
| O sistema lógico de Aristóteles foi responsável pela introdução do silogismo hipotético, lógica modal temporal e lógica indutiva. | Aristotle's system of logic was responsible for the introduction of hypothetical syllogism, temporal modal logic, and inductive logic, as well as influential terms such as terms, predicables, syllogisms and propositions. |
| Isso não é lógico. | It's not logical. |
| Um pequeno jogo lógico viciante. | Addictive little logic game. |
| Super lógico, vocês poderiam pensar. | Super logical, you would think. |
| É lógico, Senhor Deputado Wynn. | Mr Wynn, that makes sense. |
| É lógico que contraímos câncer. | Of course we have cancer. |
| É o próximo passo lógico. | It's the next logical step. |
| Em 1854, o matemático britânico George Boole publicou um artigo fundamental detalhando um sistema lógico que se tornaria conhecido como Álgebra Booleana. | )In 1854, British mathematician George Boole published a landmark paper detailing an algebraic system of logic that would become known as Boolean algebra. |
| Em 1940, ele também apresentou uma versão computacionalmente mais fraca, mas com um sistema lógico consistente, conhecido como cálculo lambda simplesmente tipado. | In 1940, he also introduced a computationally weaker, but logically consistent system, known as the simply typed lambda calculus. |
| Foi o fim do positivismo lógico. | Austin, Alfred Tarski, and W.V.O. |
| O plano de acesso, outras implementações e detalhes de operação são tratados pelo sistema DBMS, e não devem ser refletidos no modelo lógico. | The access plans and other implementation and operation details are handled by the DBMS engine, and are not reflected in the logical model. |
| Mas isso ainda é um sujeito lógico. | But it is still a logical subject. |
| E é lógico, o projeto nunca está terminado. | And then, of course, design is never done. |
| O mundo é objetivo, lógico, universal, factual, científico. | 'The world' is objective, logical, universal, factual, scientific. |
| 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. | 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. |
| Se algo não faz sentido, provavelmente não é lógico. | If something doesn't make sense, it probably isn't logical. |
| Outro nome para um axioma não lógico é postulado. | Another name for a non logical axiom is postulate . |
| Notação Formal A regra Modus ponens pode ser escrita na forma de sequentes, como é mostrado a seguir formula_2onde é um símbolo que significa que Q é uma consequência sintática de P Q e P em algum sistema lógico ou representado como a declaração de uma tautologia ou teorema da lógica proposicional formula_3Onde P e Q são proposições expressar em um sistema lógico. | Formal notation The modus ponens rule may be written in sequent notation formula_2where is a metalogical symbol meaning that Q is a syntactic consequence of P Q and P in some logical system or as the statement of a truth functional tautology or theorem of propositional logic formula_3where P , and Q are propositions expressed in some formal system. |
| Aquele é um CLP Siemens S7 400, Controlador Lógico Programável. | That's a Siemens S7 400 PLC, programmable logic controller . |
| É um plano muito lógico, mas não foi sempre assim. | It's a very logical plan, but it was not always like this. |
| Quer dizer, incrivelmente lógico. Tão óbvio que qualquer um entenderia. | I mean, incredibly logical. So obvious, anybody could get it. |
| Isto é o complemento lógico da princípio da não contradição. | This is the logical complement of the law of non contradiction. |
| 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. | 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. |
| Lógico um algoritmo pode ser visto como uma dedução lógica controlada. | Logical An algorithm may be viewed as controlled logical deduction. |
| Parece lógico que adoramos bolo de chocolate porque ele é doce. | It stands to reason that we love chocolate cake because it is sweet. |
| Não digo apenas um defeito lógico. Quero dizer uma explicação ruim. | I don't just mean a logical defect. I mean a bad explanation. |
| Você teria pensado que parece lógico que design requer um designer inteligente. | You would have thought it stands to reason that design requires an intelligent designer. |
| Outros desenvolvimentos Na década de 80, foi criado o dispositivo lógico programável. | Other developments In the 1980s, programmable logic devices were developed. |
| Tal tipo de informação não se constitui um atributo do modelo lógico. | Logical Data Modeling What it is and how to Do it . |
| Augustus De Morgan (Madura, Índia, Londres, ) foi um matemático e lógico britânico. | Augustus De Morgan ( 27 June 1806 18 March 1871) was a British mathematician and logician. |
| E você não a usa para resolver nenhum outro tipo de problema lógico. | And you don't use it for solving any other kinds of logical problems. |
| Se há ou não organismos lá, é lógico, é uma questão inteiramente diferente. | Whether or not there are living organisms there, of course, is an entirely different matter. |
| Um pequeno interesante jogo puzzle lógico, onde pode construir as suas próprias moléculas. | A perplexing little logic puzzle game, where you get to build your own molecules. |
| E, lógico, numa parte eu poderia dizer que é um excesso de zelo. | And, logically, on one hand I could say it is an excess of zeal. |
| É perfeitamente lógico que o tradutor se torne parte do mundo do autor. | It is only logical for the translator to become a part of the world of the author. |
| Giuseppe Peano (1889) publicou uma série de axiomas para serem usados pela aritmética que hoje carregam seu nome (Axiomas de Peano), usando variações do sistema lógico de Boole e Schröder, porém adicionando quantificadores. | Giuseppe Peano (1889) published a set of axioms for arithmetic that came to bear his name (Peano axioms), using a variation of the logical system of Boole and Schröder but adding quantifiers. |
| Na prática, todavia, alguns desenvolvedores usaram o Motorola 68000 como drive lógico de jogo. | In practice, however, many developers used the Motorola 68000 to drive gameplay logic. |
| Cinco simetrias e lógico na simetria zero aonde eu o ergo e deixo onde estava. | Five symmetries and then of course the zeroth symmetry where I just pick it up and leave it where it is. |
| O lógico e filósofo Alfred Tarski desenvolveu a teoria das linguagens formais (como lógica formal). | Logician and philosopher Alfred Tarski developed the theory for formal languages (such as formal logic). |
| Se eu tivesse um grande ponta, como o Garrincha, é lógico que ele iria jogar. | If I had to put him in the left wing, he would still play the same. |
Pesquisas relacionadas : Lógico - Circuito Lógico - Elemento Lógico - Pensamento Lógico - Dispositivo Lógico - Fluxo Lógico - Lógico Programável - Modelo Lógico - Positivismo Lógico - Passo Lógico - Diagrama Lógico - Resultado Lógico
