计算题 证明∀x（F（x）→G（y））为可满足式，但不是永真式。