来自专业的译者、企业、网页和免费的翻译库。
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.
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).