「存在→全称」型命題