不挂科搜题免费

问题:

设P是谓词公式,对于P的任何论域,存在P为真的情况,则称P为()。

答案:

永真式