----- Nội dung dịch tự động từ ảnh ----- 11. Cho P(), Q() là hai mệnh đề chứa biến. Chứng minh rằng mệnh để "3x = X,P(x)^Q(x)" không nhất thiết tương đương với mệnh để "(3x e X, P(x))^(3x € X,Q(x))". 12. Cho P(i), Q(y) là hai mệnh đề chứa biến. Chứng minh rằng mệnh đề P:"(Vxe X, P(x)) v (3ye Y, Q(y))" tương đương với mệnh đề Q: "Vxe X, 3ye Y: P(x)vQ(y)".
