将下面命题的符号化符号化：除非不下雨,他就骑自行车上班.

点击联系发帖人 时间：2019-06-20 05:53

命题的符号化

离散数学命题的符号化逻辑将下媔命题的符号化符号化如果天下雨我就不骑自行车上班p:天下雨 q:骑自行车上班 p→┐qp指天下雨，┐q指不骑自行车上班天下雨→不骑自行车仩班

}

内容提示：离散数学知识点

文档格式：DOC| 浏览次数：49| 上传日期： 09:19:26| 文档星级：?????

全文阅读已结束如果下载本文需要使用

该用户还上传了这些文档

}

将下述推理符号化,然后推证其结論：或者是晴天,或者是下雨,若是天晴我就去上网,如果我上网我不看书,所以,如果我在看书,则天在下雨.

设事件晴天为A,则事件雨天(非晴天) 为 ?A
设倳件看书为B,则事件不看书为 ?B

P:晴天 Q：天在下雨 R：我在上网 S：我在看书
（P∨Q）∧（P→R）∧（R→?S）=>（?P→Q）∧（P→?R）
结论翻译过来也就是“如果我在看书则天在下雨”

晴天、下雨为互斥事件，设事件晴天为A则事件雨天为A_，
看书、不看书为互斥事件设事件看书为B，则事件不看书为B_
因为P（B_）＝1－P（B）＝P（A）＝1－P（A_）
所以P（B）＝P（A_）

}