当前位置 :
【离散数学构造下面的命题推理证明:前提:我去看望老张或老李.如果我去看望老张,那么我要带构造下面的命题推理证明:前提:我去看望老张或老李.如果我去看望老张,那么我要带些书.如果我】
1人问答
问题描述:

离散数学构造下面的命题推理证明:前提:我去看望老张或老李.如果我去看望老张,那么我要带

构造下面的命题推理证明:前提:我去看望老张或老李.如果我去看望老张,那么我要带些书.如果我要带些书,那么我要去新华书店.结论:如果我没有去新华书店,那么我要去看望老李.

刘洁莉回答:
  P:我去看望老张   Q:我去看望老李   B:我要带些书   C:我要去新华书店   问题符号化为:   非(P∧Q)(可以两个人都不去看但不能同时看两个人)   P->B   B->C   非C->P   ==>非C->Q   1B->CP规则   2P->BP规则   3P->CT规则1,2   4非C->非PT规则3   5非(P∧Q)P规则   6非P->QT规则5   7非C->QT规则46
最新更新
热门数学
PC端 | 移动端 | mip端
字典翻译(zidianfy.com)汇总了汉语字典,新华字典,成语字典,组词,词语,在线查字典,中文字典,英汉字典,在线字典,康熙字典等等,是学生查询学习资料的好帮手,是老师教学的好助手。
声明:本网站尊重并保护知识产权,根据《信息网络传播权保护条例》,如果我们转载的作品侵犯了您的权利,请在一个月内通知我们,我们会及时删除。
电话:  邮箱:
Copyright©2009-2021 字典翻译 zidianfy.com 版权所有 闽ICP备2022014709号-7
lyric 頭條新聞