شرح قاعدة quantifiers