我想知道在谓词演算中嵌入如何用于“存在”（∃）和“对于所有人”（∀）。具体来说，我正在尝试使用存在实例化 (EI) 和存在泛化 (EG) 来正式证明 ∃x∃y(R(x,y)) --> ∃y∃x(R(x,y)) .
不是在寻找全部证据。但是关于嵌入如何与这些实体一起工作（以及如何开始证明）的一些提示将是一个巨大的帮助！
提前致谢。
问问题
1049 次
我想知道在谓词演算中嵌入如何用于“存在”（∃）和“对于所有人”（∀）。具体来说，我正在尝试使用存在实例化 (EI) 和存在泛化 (EG) 来正式证明 ∃x∃y(R(x,y)) --> ∃y∃x(R(x,y)) .
不是在寻找全部证据。但是关于嵌入如何与这些实体一起工作（以及如何开始证明）的一些提示将是一个巨大的帮助！
提前致谢。