prenex normal form

名词 n.
中文释义

英文释义

名词 n.
  1. A way of expressing a formula of predicate logic such the formula consists of a prenex and a matrix, with the prenex preceding the matrix. uncountable
0 次浏览 数据来源: Wiktionary