设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为（）。