quantificational logic

名词 n.

英文释义

名词 n.
  1. The logic of sentences involving quantifiers, predicates, and names; the branch of logic that investigates the properties that arguments, sentences, and sets of sentences have in virtue of their quantificational structure. uncountable
    — Classical quantificational logic is the logic of quantifiers 'all' and 'some' in combination with truth functions.

词汇关系

反义词
propositional logic sentential logic
0 次浏览 数据来源: Wiktionary