多项选择题

​设P是一元谓词,a是个体常项。下列属于正确的推演的有:‍
​‍