PROPOSITIONAL LOGIC - tradução para Português

• lógica proposicional

Exemplos de uso de Propositional logic em Inglês e suas traduções para o Português

Particular instances of double-negation translation include Glivenko's translation for propositional logic, and the Gödel-Gentzen translation
Instâncias específicas da tradução da dupla negação incluem a tradução de Glivenko para a lógica proposicional, e a tradução Gödel-Gentzen

The formal language for propositional logic consists of formulas built up from propositional symbols(also called sentential symbols,
A linguagem formal para a Lógica proposicional consistem em fórmulas criadas a partir de símbolos proposicionais(também chamados de símbolos sentenciais,

Logical connectives along with quantifiers are the two main types of logical constants used in formal systems such as propositional logic and predicate logic..
Conectivos lógicos e quantificadores são os dois principais tipos de constantes lógicas usadas em sistemas formais como a lógica proposicional e a lógica de predicados.

The precise form of atomic formulas depends on the logic under consideration; for propositional logic, for example,
A forma precisa das fórmulas atômicas depende da lógica em consideração; para a Lógica proposicional, por exemplo,

However, when talking about logical possibility it is often assumed that the system in question is classical propositional logic.
Todavia, quando se fala de possibilidade lógica, geralmente assume-se que o sistema em questão é a Lógica proposicional clássica.

Quine proposed PFL as a way of algebraizing first-order logic in a manner analogous to how Boolean algebra algebraizes propositional logic.
Quine propôs o PFL como uma forma de algebrizar a lógica de primeira ordem em uma maneira análoga a como álgebra Booleana algebriza a lógica proposicional.

The question whether a sentence in propositional logic is satisfiable is a decidable problem.
A questão de saber se uma sentença em uma proposição lógica é satisfatíval é um problema de decisão.

It essentially allows a certain kind of reduction of first-order logic to propositional logic.
Ele essencialmente permite um tipo de redução da lógica de primeira ordem para a lógica proposicional.

Different propositional proof systems for propositional logic, such as the sequent calculus, the cutting-plane method, resolution, etc., may provide different proofs for the same formula.
Diferentes sistemas de prova proposicional para prova de teoremas em lógica proposicional, tais como o cálculo de sequentes, o método de corte plano, a resolução, o algoritmo DPLL,etc. produzem diferentes provas quando aplicados à mesma fórmula.

Interpretations for propositional logic==The formal language for propositional logic consists of formulas built up from propositional symbols(also called sentential symbols,
Interpretações para a Lógica Proposicional==A linguagem formal para a Lógica proposicional consistem em fórmulas criadas a partir de símbolos proposicionais(também chamados de símbolos sentenciais,

A(fully) quantified Boolean formula is a formula in quantified propositional logic where every variable is quantified(or bound),
Uma fórmula booleana totalmente quantificada é uma fórmula em quantificadores lógicos proposicional, onde cada variável é quantificada(ou vinculada),

not syntactically complete for example the propositional logic statement consisting of a single variable"a" is not a theorem,
não sintaticamente completas por exemplo, a declaração da lógica proposicional consistindo de uma única variável proposicional A, não é um teorema,

It is also possible to define a deductive system(proof system) for propositional logic, as a simpler variant of the deductive systems employed for first-order logic see Kleene 1967, Sec 1.9 for one such system.
Também é possível definir um sistema dedutivo para a lógica proposicional, como uma variante mais simples dos sistemas dedutivos empregados para a lógica de primeira ordem.

Kurt Gödel(1932) stated without proof that intuitionistic propositional logic(with no additional axioms)
Kurt Gödel(1932) provou que a lógica proposicional intuicionista(sem axiomas adicionais)

John von Neumann between a non-classical propositional logic and some aspects of the measurement process in quantum mechanics.
John von Neumann entre uma lógica proposicional não-clássica e alguns aspectos do processo de medição da mecânica quântica.

it is possible to employ an approach using the propositional logic technique.
também há espaço para o emprego da técnica de lógica proposicional.

result from application of modus ponens in the same way as for proofs in propositional logic.
resultado da aplicação do modus ponens da mesma forma do que fazemos em provas da lógica proposicional.

Segerberg presented a general completeness proof for propositional logics.
Segerberg apresentou uma prova geral da completude para l'ogicas proposicionais.

The current algebraic hierarchy of propositional logics has five levels,
A atual hierarquia algébrica da lógica proposicional tem cinco níveis,

as usual in propositional logics.
como de costume, em lógica proposicional.