存在量词消除规则（关于存在量词消除规则介绍）

大家好,小耀来为大家解答以上的问题。存在量词消除规则，关于存在量词消除规则介绍这个很多人还不知道,现在让我们一起来看看吧！

1、 存在量词消除规则(elimination rule of an exis- tential quantifier)是谓词演算的一种语法规则。

本文到此分享完毕，希望对大家有所帮助。