prenex normal forms的意思|示意
美 / /
英 / /
前束范式
prenex normal forms的网络常见释义
前束范式 2.3 谓词公式的前束范式 定义2.7 ：公式A’称为公式A的前束范式（prenex normal forms），如果A┝┥A’，且A’形如Q1x1…QnxnB ,.