问答题
判断下式的类型: xyF(x,y)→xyF(x,y)
问答题 判断下式的类型: 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))