中文字幕无码不卡一区二区三区,午夜dj在线的www视频在线,欲妇荡岳丰满少妇岳

性xx色动画xx无尽,国产精品三级av三级av三级 ,中文在线√天堂,亚洲国产成人久久一区久久,亚洲熟妇色l20p

2019-10-15 17:23 來(lái)源：京東作者：京東

編輯推薦:

內(nèi)容簡(jiǎn)介: 五個(gè)基本的真值聯(lián)結(jié)詞、常語(yǔ)言中復(fù)合命題的符號(hào)化、真值形式、什么是真值形式、真值函項(xiàng)、重言式、真值表方法、列真值表的方法、真值表的判定作用、簡(jiǎn)化真值表方法等。

作者簡(jiǎn)介:

目錄:緒論
0.1 邏輯的研究對(duì)象
0.2 邏輯的基本規(guī)律
0.2.1 同一律
0.2.2 矛盾律
0.2.3 排中律
0.3 邏輯的功能定位
0.4 邏輯的歷史演進(jìn)
練習(xí)題

第1章命題邏輯（一）
1.1 命題和推理的概述
1.1.1 命題、判斷與語(yǔ)句
1.1.2 命題的分類(lèi)
1.1.3 推理及其有效性
1.2 聯(lián)言命題及其推理
1.2.1 聯(lián)言命題
1.2.2 聯(lián)言推理
1.3 選言命題及其推理
1.3.1 選言命題
1.3.2 選言推理
1.4 假言命題及其推理
1.4.1 充分條件假言命題及其推理
1.4.2 必要條件假言命題及其推理
1.4.3 充分必要條件假言命題及其推理
1.5 負(fù)命題及其推理
1.5.1 負(fù)命題
1.5.2 負(fù)命題推理
1.6 二難推理
1.6.1 什么是二難推理
1.6.2 難推理的形式
1.6.3 Z.難推理的應(yīng)用
1.7 其他復(fù)合命題推理
1.7.1 假言聯(lián)言推理
1.7.2 假言連鎖推理
1.7.3 假言易位推理
1.7.4 歸謬推理
1.7.5 反三段論
練習(xí)題

第2章命題邏輯（二）
2.1 真值聯(lián)結(jié)詞
2.1.1 真值聯(lián)結(jié)詞概述
2.1.2 五個(gè)基本的真值聯(lián)結(jié)詞
2.1.3 常語(yǔ)言中復(fù)合命題的符號(hào)化
2.2 真值形式
2.2.1 什么是真值形式
2.2.2 真值函項(xiàng)
2.2.3 重言式
2.3 真值表方法
2.3.1 列真值表的方法
2.3.2 真值表的判定作用
2.3.3 簡(jiǎn)化真值表方法
2.4 命題邏輯的自然推理
2.4.1 推理規(guī)則
2.4.2 置換規(guī)則
2.4.3 條件證明規(guī)則
練習(xí)題

第3章謂詞邏輯(一)
第4章謂詞邏輯(二)
第5章歸納邏輯
第6章語(yǔ)用邏輯(一)
第7章語(yǔ)用邏輯(二)
第8章語(yǔ)用邏輯(三)
第9章語(yǔ)用邏輯(四)
第10章非形式邏輯(一)
第11章非形式邏輯(二)
第12章非形式邏輯(三)

相關(guān)商品