PROPOSITIONAL - tradução para Português

• proposicional
• propositivo
• propositiva
• propositional
• proposicionais

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

Some authors also admit propositional variables in first-order logic,
Alguns autores também admitem propositional variables em logica de primeira-ordem,

However, the commitments expressed in the propositional synthesis must be constantly reviewed
Contudo, os compromissos expressos na síntese propositiva devem ser constantemente revistos

The dimension of the reception appears in the speeches behind the propositional basis of the actions of the Movement as a service that supports differences.
A dimensão do acolhimento surge nas falas como fundamento propositivo das ações do Movimento como um serviço que dá suporte às diferenças.

Propositional dynamic logic, or PDL, was derived from dynamic logic in 1977 by Michael J. Fischer
Lógica dinâmica proposicional, ou PDL, foi derivado de lógica dinâmica em 1977 por Michael J. Fischer

both participative and propositional.
participativa e propositiva.

they include the usual interpretations of propositional and first-order logic.
elas incluem a usual interpretação da lógica proposicional e de primeira-ordem.

four other axioms instead of axiom P4 see Frege's propositional calculus.
quatro outros axiomoas, ao invés do axioma 4 see Frege's propositional calculus.

We will do an analysis of traditional teaching practices in science from a critical epistemological standpoint pedagogically propositional.
Faremos uma análise das práticas pedagógicas tradicionais em ciências a partir de um ponto de vista epistemologicamente crítico pedagogicamente propositivo.

Differently from the propositional rules,( K){\displaystyle(K)}
Diferentemente das regras proposicionais,( K){\displaystyle(K)}

a simple theorem prover written in Haskell that uses analytic tableaux for propositional logic.
um teorema provador simples escrito em Haskell que usa tableaux analíticos para a lógica proposicional.

The principle was stated as a theorem of propositional logic by Russell and Whitehead in"Principia Mathematica" as.
Esse princípio foi declarado como um teorema da lógica propositional por Russel e Whitehead em Principia Mathematica.

based on meaningful learning with propositional mediation.
ancorado pela aprendizagem significativa, com mediação propositiva.

normative political and analytical and propositional.
político normativo, analítico e propositivo.

In the absence of propositional constants, some substitutes such as mentioned above may be used instead to define consistency.
Na ausência de constantes proposicionais, alguns substitutos, tais como mencionados acima, podem ser utilizados no lugar, para definir a consistência.

The case in which they are formulae in propositional logic is one of the most studied.
O caso no qual elas são fórmulas em lógica proposicional é um dos mais estudados.

In particular, a set of propositional formulas is intuitionistically consistent if
Em particular, um conjunto de fórmulas proposicionais é intuicionisticamente consistente

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.

the set of propositional formulas that are valid in"H" is an intermediate logic.
o conjunto de fórmulas proposicionais que são válidas em"H" é uma lógica intermediária.

In propositional logic, there are no quantifiers, and formulas are built from propositional variables using logical connectives.
Na lógica proposicional, não existem quantificadores e fórmulas são construídas a partir de variáveis proposicionais usando conectivos lógicos.

At its core is a belief in the unique capacities of design and the value of propositional forms of thinking.
Em seu núcleo está uma crença nas capacidades únicas do design e no valor das formas proposicionais de pensamento.