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