设F(x):x是兔子，G(x):x是乌龟，H(x,y):x比y跑得快，命题“兔子比乌龟跑得快”符号化为

设M(x):x是人，P(x):x犯错误，命题“没有不犯错误的人”符号化为

设M(x):x是飞行员，c:小李，命题“小李不是飞行员”可以符号化为

取个体域为整数集，下列公式不正确的是

指出下列各式中判断自由变元和约束变元不正确的是