求教一道离散数学证明题!急!鸟有翅膀,鸟会飞；猴子没有翅膀,猴子不会飞；所以猴子不是鸟.将推理符号化并给出形式证明.（注

1个回答

  • 看图

    证明方法不可能完全一样,该题出的不好,所给条件有冗余,按题意,"猴子没有翅膀","猴子不会飞"；只需一个条件即可得"猴子不是鸟",该题一定得用谓词演算,而且"是鸟""有翅膀""会飞"必须引入谓词,但"是猴子"可以不必引入谓词,如果引入也可,但变得复杂.

相关问题

栏目推荐： 珍藏( )作文 置身其中 方程三分之二x 三角函数已知对称轴 南水北调 fr是什么意思 前阅读英语翻译 蒸馏水有关的物质 高中数学有关的函数 数学解方程求值 想离开的英语翻译 导函数的最值 观察以下方程 超常发挥 闰年二月有多少天 氧气物质的量为多少 绿色的绿拼音 钩的英语翻译 你们的妈妈英语翻译 函数定义域乘2

频道推荐： 现在的感觉英语翻译 英语翻译能学吗 化合物溶液化学式 三角函数的那些 导数求原函数方法 官能团氧化反应 不吃早餐的英语翻译 量函数的定义 溶液中水离子积 铅球的重量是多少 佛的英语翻译 哪个用英语怎么写 什么是椭圆方程 英语翻译博物馆 中和溶液酸碱度 一步有多少厘米 英语翻译舒服的 铁与二氧化碳 他们的自信英语翻译 fly的名词

全站推荐： 援附 骐驎 头卡 但是作文800 油麻 充赠 二相交直线方程 髡削 短什 下课英语怎么说 细胞是物质 的统一 功过相酬 剑柄 与书为友作文 省政府 谦虚谨慎 怨声 账箱 蠲荡 章节的英语翻译