问题标题：
【离散数学的谓词推理问题.将下列推理符号化,并给出形式证明.所有的哺乳动物都是脊椎动物,并非所有的哺乳动物都是胎生动物,所以有些脊椎动物不是胎生的.】
问题描述：
离散数学的谓词推理问题.将下列推理符号化,并给出形式证明.所有的哺乳动物都是脊椎动物,并非所有的哺乳动物都是胎生动物,所以有些脊椎动物不是胎生的.
陈悦峰回答：
记
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))
得证推理有效.
查看更多
八字精批
八字合婚
八字起名
八字财运
2024运势
测终身运
姓名详批
结婚吉日
