计算题 证明公式（（∀F（x）→∃yG（y））∧∀xF（x））→∃yG（y）为永真式。