(人工智能)例题解法一(自己理解)谓词公式化为子句集
→:称为“蕴涵”或者“条件”。P→Q表示“P蕴涵Q”,即表示“如果P,则Q”。其中,P称为条件的前件,Q称为条件的后件。全称量词(∀x):表示“对个体域中的所有(或任一个)个体x”。它表示被它连接的两个命题具有“或”关系。﹁:称为“否定”或者“非”。存在量词(ョx):表示“在个体域中存在个体x”。它表示被它连接的两个命题具有“与”关系。1、谓词的一般形式是:P(x1,x2,...,xn)即由P为真及P→Q为真,可推出Q为真。(1)消去谓词公式中的“→”和“:称为“等价”或“双条件”。表示“P当且仅当Q”。
原创
2024-03-31 19:02:17 ·
640 阅读 ·
1 评论