CLASSICAL LOGIC - tradução para Português

• lógica clássica
• logica clássica

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

Tero Tulenheimo developed an algorithm to convert GTS-winning strategies for classical logic into the dialogical winning strategies and vice versa.
Tero Tulenheimo criaram um algoritmo para transofmar as estratégias de vitória GTS na lógica clássica em estratégias de vitória diálogicas e vice-versa.

which is essentially classical logic without the law of the excluded middle.
que é essencialmente a lógica clássica sem a lei do terceiro excluído.

paraconsistent logic is more conservative or cautious than classical logic.
a lógica paraconsistente é mais conservadora ou mais cautelosa que a lógica clássica.

the full IVT fails in constructive analysis simply because constructive analysis does not accept classical logic.
o TVI completo falha na análise construtiva simplesmente porque a análise construtiva não aceita a lógica clássica.

consistent superintuitionistic logics are called intermediate logics the logics are intermediate between intuitionistic logic and classical logic.
a lógica superintuicionista consistente é chamada de lógica intermediária a lógica é intermediária entre lógica intuicionista e a lógica clássica.

Therefore, intuitionistic logic can instead be seen as a means of extending classical logic with constructive semantics.
Por isso, a lógica intuicionista também pode ser vista como uma forma de estender a lógica clássica com uma semântica construtivista.

This notion has relevance in pure mathematics, as well as in any other field that uses classical logic.
Essa noção tem tanta relevância quanto qualquer outra área que utiliza a lógica clássica.

This differentiation results in a very large number of practical applications that were previously impossible using classical logic.
Essa diferenciação propicia um número muito grande de aplicações práticas até então impossíveis com a lógica clássica".

In classical logic, implication describes conditional if-then statements using a truth-functional interpretation,
Na logica clássica, implicação descreve sentenças condicionais se-então, utilizando a interpretação verdade funcional,

The strangeness of the paradox of entailment comes from the fact that the definition of validity in classical logic does not always agree with the use of the term in ordinary language.
A estranheza do paradoxo da implicação vem do fato de que a definição de validez na logica clássica nem sempre concorda com o termo no uso cotidiano.

They indicate the need to break with the traditional care models based on the classical logic of the health-disease process
Apontam para necessidade da ruptura aos modelos tradicionais de atendimento, pautado na clássica lógica do processo saúde-doença

Quantum logic has some properties that clearly distinguish it from classical logic, most notably, the failure of
Dentro das propriedades que claramente a distinguem da lógica clássica, encontra-se a falha da lei distribuitiva da lógica proposicional.

Quine rejects the idea that classical logic should be revised in response to the paradoxes, logic..">
Quine rejeitou a ideia de que a lógica clássica deve ser revisada em resposta aos paradoxos, de simplicidade", e"a desvantagem de ter que pensar com uma lógica depravada.">

Furthermore, many classical theorems can be stated in ways that are logically equivalent according to classical logic, but not all of these forms will be valid in constructive analysis, which uses intuitionistic logic..
Além disso, muitos teoremas clássicos podem ser feitos de maneiras que são logicamente equivalentes de acordo com a lógica clássica, mas nem todas estas formas serão válidas em análise construtiva, a qual utiliza uma lógica intuicionista.

Specifically, frege developed studies in order to build the arithmetic foundation based on classical logic, i. e., using logic,
Especificamente, frege desenvolveu trabalhos a fim de fundamentar a aritmética tendo como base a lógica clássica, ou seja,

is a general approach for embedding classical logic into intuitionistic logic,
é uma abordagem geral para a incorporação da lógica clássica na lógica intuicionista,

on the grounds that classical logic grants paradoxes of material implication such as the principle that a falsehood implies any proposition.
com o argumento de que a lógica clássica concede paradoxos da implicação material, como por exemplo, o princípio de que o“falso implica em qualquer coisa”.

which counters the Aristotelian principle of non-contradiction, according to classical logic.
de não contradição aristotélico, de acordo com a lógica clássica.

in relation to phenomenon of giftedness and resolution of classical logic exercises.
em relação ao fenômeno da superdotação e à resolução de exercícios de lógica clássica.

For classical logics, it is generally possible to reexpress the question of the validity of a formula to one involving satisfiability,
Para a lógica clássica, geralmente é possível reexpressar a questão da validade da fórmula para uma envolvendo satisfatibilidade,