[填空题,3.4分] 设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为（）。