kwantyfikator w logice, przekształca funkcję zdaniową w zdanie ogólne