把那个“非”放进去就是了
VxEy~F(x,y) (V表示任取,E表示存在,表示非,我这里符号打不出来,见谅,