论谓词逻辑推理中的量词加免法则

摘要

对谓词逻辑推理中关于量词加免的四项法则重新进行了审定，并讨论了这些法则的使用技巧。