运用命题逻辑的自然推理系统，写出下面推理的证明： 前提：若你发给我电子邮件消息，则我将完成编写程序。若你不发给我电子邮件消息，则我将早早地去睡觉。若我早早地去睡觉，则我将感觉精力充沛地醒来。 结论：若我不完成编写程序，则我将感觉精力充沛的地醒来。 （要求：给出形式化的前提和结论，在证明过程中，要写出每步的根据)
运用命题逻辑的自然推理系统，写出下面推理的证明： 前提：若你发给我电子邮件消息，则我将完成编写程序。若你不发给我电子邮件消息，则我将早早地去睡觉。若我早早地去睡觉，则我将感觉精力充沛地醒来。 结论：若我不完成编写程序，则我将感觉精力充沛的地醒来。 （要求：给出形式化的前提和结论，在证明过程中，要写出每步的根据)
参考答案和解析
证明： ①q→r 前提引入； ②￢r 前提引入； ③￢q ①、②拒取式； ④￢p∨q 前提引入； ⑤￢p ③、④析取三段论．$直接证明法： ①p→(q→s) 前提引入； ②￢p∨(￢q∨s) ①置换； ③￢q∨(￢p∨s) ②置换； ④q 前提引入； ⑤￢p∨s ③、④析取三段论； ⑥p→s ⑤置换； ⑦p∨￢r 前提引入； ⑧r→p ⑦置换； ⑨r→s ⑧、⑥假言三段论． 附加前提证明法： ①r 附加前提引入； ②p∨￢r 前提引入； ③p ①、②析取三段论； ④p→(q→s) 前提引入； ⑤q→s ③、④假言推理； ⑥q 前提引入； ⑦s ⑤、⑥假言推理．$直接证明法： ①p→q 前提引入； ②p→r 前提引入； ③(p→q)∧(p→r) ①、②合取； ④(￢p∨q)∧(￢p∨r) ③置换； ⑤￢p∨(q∧r) ④置换； ⑥p→(q∧r) ⑤置换． 附加前提证明法： ①p 附加前提引入； ②p→q 前提引入； ③q ①、②假言推理； ④p→r 前提引入； ⑤r ①、④假言推理； ⑥q∧r ③、⑤合取．
相关考题：
“我原先被人遗弃在冰谷中，”他答非所问地说，“遗弃我的早已灭亡，消尽了。我也被冰冻冻得要死。倘使你不给我温热，使我重行起，我不久就须灭亡。”“你的醒来，使我欢喜。我正在想着走出冰谷的方法;我愿意携带你去，使你永不冰结，永得燃烧。”以上这段文字出自哪一篇作品?A.《好的故事》B.《颓败线的颤动》C.《狗的驳诘》D.《死火》
应聘演讲思路是( )。 A、我是什么人、我将怎么做、我的态度、我为什么应聘这个岗位B、我是什么人、我为什么应聘这个岗位、我将怎么做、我的态度C、我为什么应聘这个岗位、我是什么人、我将怎么做、我的态度D、我的态度、我是什么人、我为什么应聘这个岗位、我将怎么做
阅读课文《爱尔克的灯光》片段，然后回答 36～38 小题。……我匆匆地来，也将匆匆地去。用留恋的眼光看我出生的房屋，这应该是最后一次了。我的心似乎想在那里寻觅什么。但是我所要的东西绝不会在那里找到。我不会像我的一个姑母或者嫂嫂，……对着园中的花树垂泪……我没有跟着那些人走一条路，我当然在这里找不到自己的脚迹……我高兴地来，痛苦地去。……但是清晨的微风，路上的尘土，马达的吼叫……驱散了我的离愁。……我很高兴，自己又一次离开了狭小的家，走向了广大的世界中去！第 36 题 在这一片段中，作者所展示的两条不同的生活道路各指的是什么?(4分)
当根据客户需求推荐商品时，客户的期望是（）。A、我希望有一位对商品十分了解的销售人员，能明白、准确地回答我的问题B、我只想和能诚挚而乐意地帮助我购买合适的车的销售人员打交道C、销售顾问能够了解我的生活方式，并且知道我的购车期望是什么D、我希望能自由收集我所需要的信息，而不必承诺今天我将购车
单选题当“我”在猴架上熟练地荡来荡去，为什么曾经取笑过我的孩子们都目瞪口呆？A因为“我”的动作很滑稽很可笑B因为“我”的动作和他们的都不一样C因为是妈妈在一边帮“我”完成的动作D他们没想到“我”能熟练地完成动作
单选题“我将青春付给了你，将岁月留给我自己……我将春天付给了你，将冬天留给我自己”出自歌曲（）。A《爱的箴言》B《第二道彩虹》C《路边的野花不要采》D《风中有朵雨做的云》