for all属于什么否定