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


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

A.正确

B.错误

正确答案:A


Tag:谓词 公式 情况 时间:2023-11-23 15:55:17