「全称→存在」型命題