Translation of "propositional logic" to Portuguese language:

Dictionary English-Portuguese

Logic - translation :

Keywords : Lógica Lógica Lógico Raciocínio Matemática

Examples (External sources, not reviewed)

Symbolic logic is often divided into two branches propositional logic and predicate logic.	A lógica simbólica é frequentemente dividida em dois ramos lógica proposicional e a lógica de predicados.
) rather, the composition of physical properties of S does not obey the rules of classical propositional logic when using propositional connectives (see Quantum logic ).	Ao contrário disto, a complementariedade significa que a composição de propriedades físicas de S (tais como posição e momento variando em uma certa faixa) possuem uma conectividade proposicional que não obedecem as leis da lógica proposicional clássica.
In logic, a many or multi valued logic is a propositional calculus in which there are more than two values.	Na Lógica, uma lógica multi valorada é um calculo proposicional no qual existem mais de dois valores.
The principle was stated as a theorem of propositional logic by Russell and Whitehead in Principia Mathematica as formula_1.	Esse princípio foi declarado como um teorema da lógica propositional por Russel e Whitehead em Principia Mathematica.
First, his language is artificially impoverished, and second, the rules for the propositional modal logic must be weakened.	Segundo, as regras para a lógica modal proposicional devem ser enfraquecidas.
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.	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.
Frege wanted to show that mathematics grows out of logic, but in so doing, he devised techniques that took him far beyond the Aristotelian syllogistic and Stoic propositional logic that had come down to him in the logical tradition.	Frege queria mostrar que a matemática se desenvolve a partir da lógica, mas ao fazê lo, ele desenvolveu técnicas que o levaram muito além da lógica silogística aristotélica e estóica proposicionais que tinham descido com ele na tradição da lógica.
Eliminative Materialism and the Propositional Attitudes .	Eliminative Materialism and the Propositional Attitudes .
In propositional logic, modus tollens (or modus tollendo tollens and also denying the consequent) (Latin for the way that denies by denying ) is a valid argument form and a rule of inference.	Modus tollens (Latim modo que nega ) ou negação do consequente, é o nome formal para a prova indireta.
In order to make subsequent selection operations on the resulting table meaningful, a semantic meaning needs to be assigned to nulls in Codd's approach the propositional logic used by the selection is extended to a three valued logic, although we elide those details in this article.	A fim de tornar as operações de seleção subsequentes na tabela resultante significativa, um significado semântico precisa ser atribuído ao nulos, na abordagem de Codd a lógica proposicional usada pela seleção é estendido a uma lógica de três valores, embora elidimos os detalhes neste artigo.
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 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.
Predicate logic Predicate logic is the generic term for symbolic formal systems such as first order logic, second order logic, many sorted logic, and infinitary logic.	Na Lógica Formal os conceitos são rigorosamente definidos, e as orações são transformadas em notações simbólicas precisas, compactas e não ambíguas.
A propositional argument using modus ponens is said to be deductive.	Um argumento proposicional utilizando modus ponens é dito ser dedutivo.
Compensatory Fuzzy Logic The CFL (Compensatory Fuzzy Logic) is a branch of Fuzzy Logic.	Na lógica fuzzy são utilizados para definir o grau máximo e mínimo de pertinência do conjunto.
Logic.	Dicionário de Lógica.
388 390 and p. 676, reprinted in Boolos, 1998, Logic, Logic, and Logic , Harvard Univ.	388 390 and p. 676, reprinted in Boolos, 1998, Logic, Logic, and Logic , Harvard Univ.
Logic, especially sentential logic, is implemented in computer logic circuits and is fundamental to computer science.	A Lógica Formal lida com a relação entre conceitos e fornece um meio de compor provas de declarações.
Some aspects of logic system design make use of Boolean logic.	Alguns aspectos dos sistemas lógicos são projetados utilizando princípios da lógica Booleana.
Logic In logic, Antisthenes was troubled by the problem of universals.	Lógica Na lógica, Antístenes foi atormentado pelo Problema dos universais.
There are several logic families with different characteristics (power consumption, speed, cost, size) such as RDL (resistor diode logic), RTL (resistor transistor logic), DTL (diode transistor logic), TTL (transistor transistor logic) and CMOS (complementary metal oxide semiconductor).	História Em 1854, o matemático britânico George Boole (1815 1864), através da obra intitulada An Investigation of the Laws of Thought (Uma Investigação Sobre as Leis do Pensamento), apresentou um sistema matemático de análise lógica conhecido como álgebra de Boole.
GFingerPoken logic game	Jogo de lógica GFingerPoken
Logic circuit simulator	Simulador de circuitos lógicos
Blackbox Logic Game	Jogo de Lógica Caixa Preta
Formalization of Logic .	Formalization of Logic .
Traditional Aristotelian syllogistic logic and modern symbolic logic are examples of formal logics.	A lógica silogística aristotélica tradicional e a lógica simbólica moderna são exemplos de lógicas formais.
These areas share basic results on logic, particularly first order logic, and definability.	Estas áreas compartilham resultados básicos sobre lógica, particularmente lógica de primeira ordem, e definibilidade.
Logic control Logic control systems for industrial and commercial machinery were historically implemented at mains voltage using interconnected relays, designed using ladder logic.	Controles lógicos Sistemas de controles lógicos para a indústria e equipamentos comerciais foram historicamente implementados através da lógica de relés, projetados utilizando a lógica ladder.
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 .	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.
Sokoban like Logic Game	Jogo de Lógica tipo Sokoban
A number logic game	Um jogo sobre lógica de número
You need voting logic.	Você precisa escolher logicamente.
Addictive little logic game.	Um pequeno jogo lógico viciante.
Introduction to Mathematical Logic .	Introdução à Lógica Simbólica.
Introduction to Medieval Logic .	Lógica Modus ponens Modus tollens
The development of logic .	O desenvolvimento da Lógica.
Philosophical logic has a much greater concern with the connection between natural language and logic.	A Lógica filosófica está muito mais preocupada com a conexão entre a Linguagem Natural e a Lógica.
For example, in symbolic logic and mathematical logic, proofs by humans can be computer assisted.	Na lógica simbólica e lógica matemática, demonstrações feitas por humanos podem ser auxiliadas por computador.
Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics.	Lógica Matemática é uma sub área da matemática que explora as aplicações da lógica formal para a matemática.
The logic of the market	A lógica de mercado
I can't follow his logic.	Não consigo acompanhar a lógica dele.
Logic has no place here.	A lógica aqui não tem lugar.
Ontology and History of Logic.	Lógica para Ciência da Computação.
The Logic of Modern Physics .	The Logic of Modern Physics .
Graham Priest, 1984, Logic of Paradox Revisited , Journal of Philosophical Logic , v. 13, n. 2, pp.	Graham Priest, 1984, Logic of Paradox Revisited , Journal of Philosophical Logic , v. 13, n. 2, pp.
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.	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.

Exibir esta página em português