2.3 谓词公式的前束范式 定义2.7 ：公式A’称为公式A的前束范式（prenex normal forms），如果A┝┥A’，且A’形如Q1x1…QnxnB ,.
基于6个网页-相关网页
应用推荐
模块上移
模块下移
不移动