问答题
设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））
问答题 xy（G（f（x，y），a）→F（x，y））
xF（x，y）→
yG（x，y）