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

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

    2025年09月19日 01:58:27