等式述語論理