数理逻辑与集合论作业二.doc

数理逻辑与集合论作业二.doc

ID:51908794

大小:260.00 KB

页数:2页

时间:2020-03-18

数理逻辑与集合论作业二.doc_第1页
数理逻辑与集合论作业二.doc_第2页
资源描述:

《数理逻辑与集合论作业二.doc》由会员上传分享,免费在线阅读,更多相关内容在应用文档-天天文库

1、數理邏輯與集合論作業二1.2.3.4.也就是上述描述是否自相矛盾?5.6.四個朋友被認定爲非法進入某計算機系統的嫌疑人。他們已對調查員作了陳述。艾麗斯說“卡羅斯干的”約翰說“我沒幹。”卡羅斯說“戴安娜幹的。”戴安娜說“卡羅斯說是我幹的,他說謊。”a)如果調查員知道四個嫌疑人中恰有一人說真話,那麽准幹的?解釋你的推理。b)如果調查員知道恰有一人說謊,誰幹的?解釋你的推理。7.用真值表證明德摩根律和吸收律。8.使用等值演算證明下列命題公式為永真式(不得用真值表)

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。