

Cho P(x),Q(y)là hai mệnh đề chứa biến.Chứng minh rằng mệnh đề "tồn tại x thuộc X,P(x)^Q(x)"không nhất thiết tương đương với mệnh đề
"(tồn tại x thuộc X,P(x)) tuyển (tồn tại x thuộc X,Q(x))
"(tồn tại x thuộc X,P(x)) tuyển (tồn tại x thuộc X,Q(x))