De traductores profesionales, empresas, páginas web y repositorios de traducción de libre uso.
all other well-formed formulae are obtained by composing atoms with logical connectives and quantifiers.
todas as outras fórmulas bem-formadas são obtidas pela composição de átomos com conectivos lógicos e quantificadores.
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.
in the standard or full semantics, quantifiers over higher-type objects range over "all" possible objects of that type.
na semântica padrão ou completa, quantificados e objetos do tipo superior variam sobre todos os objetos possíveis tipo.
two common quantifiers are the existential ∃ ("there exists") and universal ∀ ("for all") quantifiers.
dois quantificadores comuns são: os quantificadores existencial ∃ ("existe um") e universal ∀ ("para todo").
löwenheim's paper was actually concerned with the more general peirce–schröder calculus of relatives (relation algebra with quantifiers).
o artigo de löwenheim estava na verdade preocupado com o cálculo relacional de peirce-schröder (álgebra relacional com quantificadores).