问答题 设I为一个任意的解释，在解释I下，下面哪些公式一定是命题： （1）xF（x，y）→yG（x，y） （2）x（F（x）→G（x））∧y（F（y）∧H（y）） （3）x（yF（x，y）→yG（x，y）） （4）x（F（x）∧G（x）∧H（y））

问答题 判断下式的类型： xyF（x，y）→xyF（x，y）

问答题 判断下式的类型： F（x，y）→（G（x，y）→F（x，y））