Gündelik dilde bir yüklemin işlevi, kimi varlıkların sahip olduğu, kimi varlıkların sahip ise sahip olmadığı bir özelliği dile getirmektir. Yüklemlerin niceleme mantığının sembolik dilindeki karşılığı, yüklem sembolleridir. Bu nedenle, bir yüklem sembolünün bir kümede yorumlanması demek, o yüklem sembolünün kümedeki hangi elemanlara doğru olarak uygulanabileceğini belirtir.