Usted buscó: proposicional (Portugués - Inglés)

lógica proposicional
propositional logic

esta fórmula tem somente uma variável proposicional , "p".
this formula has only one propositional variable, "a".

) a lógica proposicional pode ser estendida de diversas formas.
it can be extended in several ways.

uma variável proposicional pode ficar como sua própria fórmula atômica.
a propositional variable can stand on its own as an atomic formula.

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

* na lógica proposicional, fórmulas atômicas são chamadas de variáveis proposicionais.
* in propositional logic, atomic formulas are called propositional variables.

estas sentenças podem conter quantificadores, diferentemente das sentenças da lógica proposicional.
these sentences may contain quantifiers, unlike sentences of propositional logic.

", cálculo proposicional ou lógica de ordem superior ou lógica modal).
", propositional calculus or a higher-order logic or a modal logic).

absorção é uma forma lógica de argumento válido e uma regra de inferencia da lógica proposicional.
absorption is a valid argument form and rule of inference of propositional logic.

as lógicas modais também oferecem uma variedade de inferências que não podem ser capturadas pelo cálculo proposicional.
modal logic also offers a variety of inferences that cannot be captured in propositional calculus.

a lógica simbólica é frequentemente dividida em dois ramos: lógica proposicional e a lógica de predicados.
symbolic logic is often divided into two branches: propositional logic and predicate logic.

# se formula_7 é uma constante proposicional, então formula_7 é uma fórmula.
# if formula_9 is a propositional constant, then formula_9 is a formula.

a atual hierarquia algébrica da lógica proposicional tem cinco níveis, definidos em termos de propriedades do seu operador de leibniz.
the current algebraic hierarchy of propositional logics has five levels, defined in terms of properties of their leibniz operator: protoalgebraic, (finitely) equivalential, and (finitely) algebraizable.

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

== fundamentação teórica ==a lógica proposicional começa com variáveis proposicionais, unidades atômicas que representam proposições concretas.
==background==propositional logic begins with propositional variables, atomic units that represent concrete propositions.

== tautologias versus validades na lógica de primeira ordem ==a definição fundamental de uma tautologia está no contexto da lógica proposicional.
==tautologies versus validities in first-order logic==the fundamental definition of a tautology is in the context of propositional logic.

as mais comumente estudadas lógicas formais são a lógica proposicional, lógica de predicados e seus análogos, e para estes existem formas padronizadas de apresentar uma interpretação.
the most commonly studied formal logics are propositional logic, predicate logic and their modal analogs, and for these there are standard ways of presenting an interpretation.

== interpretações não-clássicas ==as interpretações da lógica proposicional e lógica de predicados acima descritos não são os únicos possíveis interpretações.
== non-classical interpretations ==the interpretations of propositional logic and predicate logic described above are not the only possible interpretations.

== lógica proposicional ==silogismo hipotético é uma demonstração de regras na lógica clássica que pode ou não ser avaliada em uma lógica não-clássica.
in classical logic, hypothetical syllogism is a valid argument form which is a syllogism having a conditional statement for one or both of its premises.

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.
in mathematical logic, the implicational propositional calculus is a version of classical propositional calculus which uses only one connective, called implication or conditional.