Проверить являются ли формулы логики предикатов равносильными

Заметим, что ∀xQx≡∃xQx=F2, т.е. F1=F2→∃xPx&F2. Если F2 — истинен, то F2 — ложен и F1 будет истинен как импликация у которой посылка ложная. Если F2 — ложен, то F2 — истинен и значение F1 будет зависеть от значения ∃xPx, который может быть как истинным так и ложным . Таким образом, предикаты F1 и F2 не являются равносильными.
2) Заметим, что F1=F2∨F2&∃xQx