second-order logic

短语

[计] 二阶逻辑

词形变化

second-order logics 复数 second-order logics

别名

SO

释义与例句

n.
  1. 1.

    A formal system which extends first-order logic by allowing quantification over relations between members of the universe.

    不可数