离散数学的谓词推理问题.将下列推理符号化,并给出形式证明.所有的哺乳动物都是脊椎动物,并非所有的哺乳动物都是胎生动物,所

来源：学生作业帮编辑：作业帮分类：数学作业时间：2024/11/08 09:55:56

离散数学的谓词推理问题.将下列推理符号化,并给出形式证明.所有的哺乳动物都是脊椎动物,并非所有的哺乳动物都是胎生动物,所以有些脊椎动物不是胎生的.

记
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))
得证推理有效.

离散数学的谓词推理问题.将下列推理符号化,并给出形式证明.所有的哺乳动物都是脊椎动物,并非所有的哺乳动物都是胎生动物,所命题演算:所有哺乳动物都是脊椎动物,并非所以哺乳动物都是胎生哺乳动物都是胎生的吗所有的哺乳动物.快, 凡是胎生,哺乳的脊椎动物都是哺乳动物吗? 哺乳动物都是脊椎动物和胎生动物吗? 将下列命题谓词符号化1."所有有理数都是实数"2."有些有理数不是整数" 熊、狗、猫都是胎生哺乳动物,所以哺乳动物都是胎生哺乳的./这样说是否正确将下列命题符号化,并构造推理证明证明离散数学推理的有效性给出下列推理的过程的形式证明判断并阐述理由 1）身体表面有毛、胎生、哺乳的动物都是哺乳动物. 2）身体表面有羽毛的的卵生动物都是鸟哺乳动物都胎生?哺乳动物都是胎生?