{∃x ∃y (FA ∧ ~Fy), ∀y (GB ∧ ~Fy)} önermeler kümesinde yüklem sembolleri hangileridir?
{∃x ∃y (FA ∧ ~Fy), ∀y (GB ∧ ~Fy)} önermeler kümesinde, F ve G yüklem sembolleridir.