- 搜標(biāo)題
- 搜題干
- 搜選項(xiàng)
問答題
【簡答題】
設(shè)已知：
（1）如果x是y的父親，y是z的父親，則x是z的祖父；
（2）每個人都有一個父親。
使用歸結(jié)演繹推理證明：對于某人u，一定存在一個人v，v是u的祖父。
答案：
你可能感興趣的試題
問答題
【簡答題】魯濱遜歸結(jié)原理的基本思想是什么？
答案：
魯濱遜歸結(jié)原理也稱為消解原理。其基本思想是把永真性的證明轉(zhuǎn)化為不可滿足性的證明。
即要證明P->Q永真，只要能...
即要證明P->Q永真，只要能...
