cho e hỏi 2 bài này với ----- Nội dung dịch tự động từ ảnh ----- TO WH b) Nếu mệnh để Á và lí đúng thì mệnh để C có nhất thiết dùng hay không 45. Cho P(x), Q(x) là hai mệnh để chứa biến. Chứng minh rằng mệnh để "ExeX,P(x) v Q(x)" tương đương với mệnh để are X, P(x))v (axe X.Q(x)). 46. Cho P(x), Q() là hai mệnh để chứa biến. Chứng minh rằng mệnh để P:"(Vxe X. P(x))^(3y = Y, Q(x))" tương đương với mệnh để Q: "Vxe X.3yeY:P(x)^Qy)".
