第五节 有限论域下公式(x)P(x)、(x)P(x)的表示法

二、在域{1, 2}上多次量化公式

　　(x)(y)P(x, y)
　 =(y) P(1, y)∧(y)P(2, y)
　 =P(1, 1)∧P(1, 2)∧P(2, 1)∧P(2, 2)

　　(x)(y) P(x, y)
　 =(y)P(1, y)∨(y)P(2, y)
　 =(P(1, 1)∧P(1, 2))∨(P(2, 1)∧P(2, 2))

　　(y)(x)P(x, y)
　 =(x)P(x, 1)∧(x)P(x, 2)
　 =(P(1, 1)∨P(2, 1))∧(P(1, 2)∨P(2, 2))

　　(x)(y)P(x, y)
　 =(y)P(1, y)∨(y)P(2, y)
　 =(P(1, 1)∨P(1, 2))∨P(2, 1)∨P(2, 2))