法律逻辑学证明格式

解p集合中的元素为3，q中的元素未

则p∨q表示集合为3和5

┐（p∨q）表示的集合中即没有3也没有5，其他实数都有

┐p表示集合中的元素没3，┐q 表示集合中的元素没5，

即┐p∧┐q 表示集合中的元素没3和5，其他实数都有

即┐（p∨q）=┐p∧┐q