Logic 证明或的结合性

我需要帮助证明以下内容：

（a）∨ （b）∨ c=a∨ （b）∨ c） 

我不想要答案。。。这只是一个提示，可以帮助我理解证明这一点的过程

---

谢谢。

为什么不做

a

，

b

和

c

=

True

，

False

的所有可能值来证明它呢？--只有2^3=8种不同的情况

这里是一个开始，对于

a=T

，

b=F

，

c=T

(a v b) v c = a ∨ (b ∨ c)
(T v F) v T = T v (F v T)
      T v T = T v T
          T = T

---

（然而，这并不是一个真正的编程问题……

为什么不通过执行

a

、

b

和

c

=

True

、

False

的所有可能值来证明它呢？--只有2^3=8种不同的情况

这里是一个开始，对于

a=T

，

b=F

，

c=T

(a v b) v c = a ∨ (b ∨ c)
(T v F) v T = T v (F v T)
      T v T = T v T
          T = T

---

（然而，这不是一个真正的编程问题…

您的公理集是什么

---

不知道集合，你可以建立一个真值表，你的公理集合是什么

---

不知道集合，你可以建立一个真值表

是的，这是允许的。使用家庭作业标签。是的，这是允许的。使用家庭作业标签。是的，更多的是一个数学问题。是的，更多的是一个数学问题。