代入规则和替换规则？
2021-09-30
式B代入该变元，那么，在这公式里，在该变元出现的一切位置上，都必须用B替换。
在命题演算中，只有命题变元，所以只有命题变元代入规则。
但在狭谓词演算中，有个体变元、命题变元和谓词变元，所以它就有关于个体变元、命题变元和谓词变元的三个代入规则。
在有些逻辑系统中，如果用公理图式去替代公理时，变形规则中就没有代入规则。
大家都在看
本站系本网编辑转载，转载目的在于传递更多信息，并不代表本网赞同其观点和对其真实性负责。如涉及作品内容、版权和其它问题，请在30日内与本网联系，我们将在第一时间删除内容！本站文章版权归原作者所有，内容为作者个人观点。本站只提供参考并不构成任何投资及应用建议。本站拥有对此声明的最终解释权。