∀x (Fx → ∃y (Gx ∨ Gy)) önermesinin {a, b} kümesindeki açılımını yazınız.
(Fa → (Ga ∨ Ga) ∨ (Ga ∨ Gb)) ∧(Fb → ((Gb ∨ Ga) ∨ (Gb ∨ Gb)))