A ∧ A-B将该一阶逻辑转换为时序逻辑

不需要进行时序逻辑转换，因为该式子已经是一个纯粹的命题逻辑公式，没有涉及到时序元素。时序逻辑通常是用于描述时间和时序关系的逻辑系统，而命题逻辑是描述命题之间关系的逻辑系统。

原文地址: https://www.cveoy.top/t/topic/fq6i 著作权归作者所有。请勿转载和采集!