first-order logic

名词 n.
中文释义

英文释义

名词 n.
  1. A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse. countable,uncountable
    — At Cambridge in the mid-1990s, [Demis] Hassabis and [David] Silver encountered a culture still wedded to the midcentury assumptions. They were taught “first order logic,” a system of rigidly unambiguous statements that was used in deductive programming.

词形变化

first-order logics plural
0 次浏览 数据来源: Wiktionary