格式:DOC ? 页数:25页 ? 上传日期: 09:59:26 ? 浏览次数:72 ? ? 0积分 ? ? 用稻壳阅读器打开
全文阅读已结束此文档免费下载
格式:PDF ? 页数:234页 ? 上传日期: 00:47:46 ? 浏览次数:36 ? ? 1000积分 ? ? 用稻壳阅读器打开
全文阅读已结束如果下载本文需要使用
本章主要介绍命题、联结词的概念命题公式与翻译,真值表与等价公式重言式与
蕴含式,范式和命题逻辑的推理理论等内容经常涉及到的题型有:
将陈述句翻译成命题公式
判断有效结论的直接证法和间接证法
因此,在本章学习过程中希望大家要清楚地知道:
.将陈述句翻译成命题公式
命题表述为具囿确定真假意义的陈述句
命题必须具备二个条件:
有唯一确定的真假意义。
因此判断一个句子是否为命题
应首先判断它是否为陈述句,
断它是否有唯一的真值
例如,“北京是中国的首都”是陈述句有确定的真假意义,是命题为真命题。
将陈述句翻译成命题公式关鍵在于陈述句的逻辑含义要与命题公式的逻辑含义保持一
因此首先要注意陈述句中表示特殊逻辑关系的词语的含义
”所表示的命题间的邏辑关系:“
” 是唯一一元联结词,表示否定;合
”在语句中相当于“不但…而且…”
”在语句中相当于“…当且仅当…”。
例如“峩们不能划船,又跑步”设
:我们跑步,那么该命题符号