[填空题,3.4分] 设P是谓词公式,对于P的任何论域,存在P为真的情况,则称P为()。
出自:信阳师范学院 人工智能