证明¬（¬a= a）

Question

这看起来像是一个简单的问题，但仍然无法弄明白。我如何证明¬（¬a= a）？

没有给定的前提。

我到目前为止（在惠誉）得到了这个：

这是一个次要的，我假设我的目标被否定，然后试图达到荒谬/矛盾，所以我可以说出我的假设的否定，这将是我的目标。

提前致谢！

Answer 1

关注your screenshot我要说你的 = Intro 引入了一个变量 a （也就是说， a 是一个对象域名，而不是谓词）。

我这样说是因为

1. 在我读过的所有书籍中， = Intro 规则用于对象而不是谓词，

2. 对于谓词，equals表示为“当且仅当”通常写为↔而不是=。

因此，换句话说，¬（¬a= a）的唯一合理解释是=比¬更难绑定，整个公式应解释为¬（¬（a = a））。

现在你应该可以

了
1. 介绍a = a
2. 假设相反：¬（a = a）
3. 基于1.和2来达成矛盾，arrive。
4. 使用¬Introon 2和3得到¬（¬（a = a））。