当前位置 :
逻辑学的证明题……拜托了~证明:(a)p,¬p├q(b)¬¬p├q
1人问答
问题描述:

逻辑学的证明题……拜托了~

证明:

(a)p,¬p├q

(b)¬¬p├q

高钟毓回答:
  (a)p,¬p├q1)p∧¬pP2)pT1)合取消去3)¬pT1)合取消去4)p∨qT2)析取添加5)qT3)4)析取消去(b)¬¬p├q1)¬¬pP2)¬¬q1)q/p代入3)qT2)¬¬消去...
最新更新
优秀其它推荐
热门其它
PC端 | 移动端 | mip端
字典翻译(zidianfy.com)汇总了汉语字典,新华字典,成语字典,组词,词语,在线查字典,中文字典,英汉字典,在线字典,康熙字典等等,是学生查询学习资料的好帮手,是老师教学的好助手。
声明:本网站尊重并保护知识产权,根据《信息网络传播权保护条例》,如果我们转载的作品侵犯了您的权利,请在一个月内通知我们,我们会及时删除。
电话:  邮箱:
Copyright©2009-2021 字典翻译 zidianfy.com 版权所有 闽ICP备2022014709号-7
lyric 頭條新聞