問答題

【簡答題】

設已知：
（1）如果x是y的父親，y是z的父親，則x是z的祖父；
（2）每個人都有一個父親。
使用歸結演繹推理證明：對于某人u，一定存在一個人v，v是u的祖父。

答案：

題目列表

你可能感興趣的試題

問答題

【簡答題】魯濱遜歸結原理的基本思想是什么？
答案： 魯濱遜歸結原理也稱為消解原理。其基本思想是把永真性的證明轉化為不可滿足性的證明。
即要證明P->Q永真，只要能...
微信掃碼免費搜題