设论述域由0和1组成,试写出与下列各式等价的不用量词的命题的析取和合取；（1）对一切xP（0,x）（2）对一切x对一切yP（x,y）（3）对一切x存在一yP（x,y）（4）存在一x对一切yP（x,y）（5）存

Question

设论述域由0和1组成,试写出与下列各式等价的不用量词的命题的析取和合取；
（1）对一切xP（0,x）
（2）对一切x对一切yP（x,y）
（3）对一切x存在一yP（x,y）
（4）存在一x对一切yP（x,y）
（5）存在一x存在一yP（x,y）

Answer 1

1、P(0,0)∧P(0,1)
2、P(0,0)∧P(0,1)∧P(1,0)∧P(1,1)
3、(P(0,0)∨P(0,1))∧(P(1,0)∨P(1,1))
4、(P(0,0)∧P(0,1))∨(P(1,0)∧P(1,1))
5、P(0,0)∨P(0,1)∨(P(1,0)∨P(1,1)