首页 > 标签:谓词公式的前束范式是不是唯一的
  • 谓词公式的前束范式是不是唯一的

    谓词公式的前束范式是不是唯一的】在数理逻辑中,前束范式(Prenex Normal Form, PNF)是一种将谓词公式中的所有量词都移到公式最前面

    2025年10月17日 19:53:16