問答題
設(shè)已知: (1)能閱讀的人是識(shí)字的; (2)海豚不識(shí)字; (3)有些海豚是很聰明的。 請用歸結(jié)演繹推理證明:有些很聰明的人并不識(shí)字。
設(shè)已知: (1)如果x是y的父親,y是z的父親,則x是z的祖父; (2)每個(gè)人都有一個(gè)父親。 使用歸結(jié)演繹推理證明:對于某人u,一定存在一個(gè)人v,v是u的祖父。
把下列謂詞公式化成子句集:
正向推理和逆向推理結(jié)合起來所進(jìn)行的推理稱為混合推理 實(shí)現(xiàn):先正后逆,先逆后正,隨機(jī)