离散数学的谓词推理问题.将下列推理符号化,并给出形式证明.所有的哺乳动物都是脊椎动物,并非所有的哺乳动物都是胎生动物,所以有些脊椎动物不是胎生的.
题目
离散数学的谓词推理问题.将下列推理符号化,并给出形式证明.所有的哺乳动物都是脊椎动物,并非所有的哺乳动物都是胎生动物,所以有些脊椎动物不是胎生的.
答案
记
P(x):x 是哺乳动物;J(x):x 是脊椎动物;T(x):x 是胎生动物,
前提:Ax(P(x)→J(x)),┐Ax(P(x)→T(x)),
结论:Ex(J(x)∧┐T(x)).
证明:
① ┐Ax(P(x)→T(x)) 前提引入
② Ex(P(x)∧┐T(x)) ①等价替换
③ P(a)∧┐T(a) ②存在示例
④ P(a) ③简化
⑤ ┐T(a) ……
⑥ Ax(P(x)→J(x))
⑦ Ax(┐P(x)∨J(x))
⑧ ┐P(a)∨J(a)
⑨ J(a)
⑩ J(a)∧┐T(a)
⑪ Ex(J(x)∧┐T(x))
得证推理有效.
举一反三
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
最新试题
- 以O为圆心的2个同心圆,大圆的弦AB交小圆于CD两点,求证AC=BD
- 设复数i满足i(z+1)=-3+2i,则z的实部
- 箱里有2千克糖果,平均分成8分,每份是()千克,其中5份送给张伯伯,张伯伯的糖果占这箱糖果的几分之几
- 若体重为87kg的刘翔在跨栏时重心上升了0.32m,则他每跨过一个栏需要克服重力做功为多少(g取10N/kg)要步骤
- 人教版初一语文下册第一课 生字词解释和拼音
- 因为我觉得他们很伟大的英语怎么说
- 我很笨没办法的,以前初三没认真学习,现在想学了,说实话我的电脑还是第一次用在学习方面呢!大家看在我转心学习上了一定要详细点呀!
- 找与千里之行始于足下相近的词语,
- “现代汉语”题
- 每个男孩都有一个足球英语翻译两个
热门考点