求谓词公式∀x∀y（∃z（P（x，z）∧P（y，z））→∃z Q（x，y，z））的前束范式。
发布网友
发布时间：2022-04-24 18:24
共1个回答
热心网友
时间：2023-11-22 20:45
我觉得前面的前提中的y应该是约束变元，因为它管着Q(y),后面的y就不是约束变元了，而是自由变元，个人理解。
