Question

一道离散数学题？

11. 对下列中的每对命题p和q，说明是否有p=q。
（1） p，p∨q
（2） p∧q，p∨q
（3） p→q，┐p∨q
（4） p∧(q∨r)，p∨(q∧r)
（5） p∧(q∨r)，(p∨q)∧(p∨r)
（6） p→q，q→p
（7） (p→q)∧(q→r)，p→r
（8） (p→q)→r，p→(q→r)

Answer 1

自然数集合定义 4={0,1,2,3}， 3={0,1,2},  以此类推

1. {3}

2. {1,2}

3. {3}

4. {<0,0>,<0,1>,<0,2><0,3>}

5. 2^2 = {f0,f1,f2,f3}     其中f0 = {<0,0>, <1,0>} ……

   从2到2的函数集合 {0,1} -> {0,1} ……