O Que é PROPOSITIONAL CALCULUS em Português

• cálculo proposicional
• lógica proposicional

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

The following outlines a standard propositional calculus.
O que segue define um cálculo proposicional padrão.

Propositional calculus or a higher-order logic or a modal logic.
Cálculo proposicional ou lógica de ordem superior ou lógica modal.

The theory of conditional expressions is a nonprofound generalisation of propositional calculus.
A teoria das expressões condicionais é uma generalização não profunda do cálculo proposicional.

Any logical expression of classical propositional calculus can be naturally represented by a tree structure.
Qualquer expressão lógica da lógica proposicional pode ser naturalmente representada por uma árvore.

It is not that these rules are contentious, when applied in conventional propositional calculus.
Não que essas regras sejam controversas, quando aplicado no cálculo proposicional convencional.

Other logical calculi==Propositional calculus is about the simplest kind of logical calculus in current use.
Outros cálculos lógicos==Lógica proposicional é praticamente o tipo mais simples de cálculo lógico em qualquer uso.

With the advent of algebraic logic it became apparent that classical propositional calculus admits other semantics.
Com o advento da lógica algébrica tornou-se evidente que o cálculo proposicional clássico admite outras semânticas.

The implicational propositional calculus is the fragment of the classical propositional calculus which only admits the implication connective.
O cálculo proposicional implicacional é o fragmento do cálculo proposicional clássico que somente admite o conectivo de implicação.

It describes(among others) a part of the Hilbert-style deduction system restricted to propositional calculus.
Propositional logic»(pdf) Descreve(entre outros) a parte do sistema de redução de Hilbert restrita ao cálculo proposicional.

For logics without negation, such as the positive propositional calculus, the questions of validity and satisfiability may be unrelated.
Para lógica sem negação, tal como o cálculo proposicional positivo, as questões de validade e satisfatibilidade não devem estar relacionadas.

In this sense, it is a meta-theorem, comparable to theorems about the soundness or completeness of propositional calculus.
Nesse sentido, é um meta-teorema, comparável aos teoremas sobre a correção ou completude da lógica proposicional.

In logic, a many-valued logic(also multi- or multiple-valued logic) is a propositional calculus in which there are more than two truth values.
Em lógica, a lógica multivalorada( ou lógica plurivalente) é um cálculo proposicional em que há mais de dois valores verdade.

In particular, checking whether formula_12 entails formula_2 in this condition can be done using the rules of the propositional calculus.
Em particular, checar se formula_12 acarreta formula_2 nessa condição pode ser feita usando as regras de Cálculo Proposicional.

Frege's Begriffsschrift(1879) introduced both a complete propositional calculus and what is essentially modern predicate logic.
O trabalho de Gottlob Frege, Begriffsschrift(1879), introduziu um cálculo proposicional completo bem como o que constitui essencialmente a lógica moderna de predicados.

The original system by Frege had axioms P2 and P3 but four other axioms instead of axiom P4 see Frege's propositional calculus.
O sistema original de Gottlob Frege tinha os axiomas 2 e 3, mas quatro outros axiomoas, ao invés do axioma 4 see Frege's propositional calculus.

In the case of the positive propositional calculus, the satisfiability problem is trivial, as every formula is satisfiable, while the validity problem is co-NP complete.
No caso do cálculo proposicional positivo, o problema da satisfatibilidade é trivial, pois toda fórmula é satisfazível, enquanto o problema da validade é co-NP completo.

It can be shown that with only these three axiom schemata and"modus ponens", one can prove all tautologies of the propositional calculus.
Podemos mostrar que com apenas esses três axiomas esquemáticos e modus ponens, pode-se provar todas as tautologias do cálculo proposicional.

One of the main uses of a propositional calculus, when interpreted for logical applications, is to determine relations of logical equivalence between propositional formulas.
Um dos principais usos de um cálculo proposicional, em aplicações lógicas, é na determinação de relações de equivalência lógica entre fórmulas proposicionais..

In particular, checking whether T{\displaystyle T} entails F{\displaystyle F} in this condition can be done using the rules of the propositional calculus.
Em particular, checar se T{\displaystyle T} acarreta F{\displaystyle F} nessa condição pode ser feita usando as regras de Cálculo Proposicional.

Intuitionistic first-order logic uses intuitionistic rather than classical propositional calculus; for example,¬¬φ need not be equivalent to φ.
A lógica intuicionista de primeira ordem utiliza o intuicionismo ao invés do cálculo proposicional clássico, por exemplo, o¬¬{\displaystyle\neg\neg} φ não precisa ser equivalente a φ.

Aristotelian"syllogistic" calculus, which is largely supplanted in modern logic, is in some ways simpler- but in other ways more complex- than propositional calculus.
O cálculo silogístico Aristotélico, que é amplamente utilizado na lógica moderna, é sob alguns pontos de vista mais simples- mas em outros mais complexo- do que a lógica proposicional.

It is possible to define another version of propositional calculus, which defines most of the syntax of the logical operators by means of axioms, and which uses only one inference rule.
É possível definir outra versão do cálculo proposicional, que define a maior parte da sintaxe dos operadores lógicos em termos de axiomas e usa somente uma regra de inferência.

In this sense, DT corresponds to the natural conditional proof inference rule which is part of the first version of propositional calculus introduced in this article.
Neste sentido, o TD corresponde à regra de"demonstração condicional" que é parte da primeira versão do cálculo proposicional introduzida neste verbete.

In mathematical logic, the implicational propositional calculus is a version of classical propositional calculus which uses only one connective, called implication or conditional.
Na lógica matemática, o cálculo proposicional implicacional é um fragmento do cálculo proposicional clássico(bivalente) que usa somente um conectivo, chamado de implicação ou condicional.

Owes much to the joint work of Blok and Pigozzi exploring the different forms that the well-known deduction theorem of classical propositional calculus and first-order logic takes on in a wide variety of logical systems.
Deve muito ao trabalho conjunto de Blok e Pigozzi explorando as diferentes formas que o bem conhecido teorema da dedução do cálculo proposicional clássico e da lógica de primeira ordem assumem em uma ampla variedades de sistemas lógicos.

Classical propositional calculus typically uses the rule of modus ponens: A, A→ B⊢ B.{\displaystyle A, A\to B\vdash B.} We assume this rule is included in all systems below unless stated otherwise.
O cálculo proposicional clássico normalmente utiliza a regra de modus ponens: A, A→ B⊢ B.{\displaystyle A, A\to B\vdash B.} Esta regra esta inclusa em todos os sistemas abaixo, salvo indicação contrária.

The archetypal association of this kind, one fundamental to the historical origins of algebraic logic and lying at the heart of all subsequently developed subtheories, is the association between the class of Boolean algebras and classical propositional calculus.
A associação arquetípica deste tipo, fundamental para as origens históricas da lógica algébrica e situado no coração de todas as subsequentes teorias desenvolvidas, é a associação entre as classes da álgebra booleana e o cálculo proposicional clássico.

Equivalential calculus is the subsystem of classical propositional calculus that only allows the(functionally incomplete) equivalence connective, denoted here as≡{\displaystyle\equiv.
Cálculo de equivalência é um subsistema do cálculo proposicional clássico que somente permite o(funcionalmente incompleto) conectivo de equivalência, aqui denotado como≡{\displaystyle\equiv.

The formulas of propositional calculus, also called propositional formulas, are expressions such as( A∧( B∨ C)){\displaystyle A\land B\lor C.
As fórmulas da lógica proposicional, também chamadas de fórmulas proposicionais, são expressões como( A∧( B∨ C)){\displaystyle(A\land(B\lor C))} Suas definições começam com a escolha arbitrária de um conjunto V de variáveis proposicionais.

In terms of a syntactical constraint for a propositional calculus, it is necessary, but not sufficient, that premises and conclusion share atomic formulae formulae that do not contain any logical connectives.
Em termos de uma restrição sintática para a lógica proposicional, é necessário, mas não suficiente, que as premissas e a conclusão compartilhem fórmulas atômicas fórmulas que não contém conectivos lógicos.