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


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

正确答案:永真式


Tag:人工智能 谓词 公式 时间:2024-02-08 10:57:47