问答题 给出一个非闭式的永真式。

问答题 说明以下公式既不是永真式也不是矛盾式： x（F（x）→y（G（y）∧H（x，y）））

问答题 设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））