西西河

主题:【原创】数理逻辑发展的简单脉络(1) -- 泰让

共:💬38 🌺134 新:
全看分页树展 · 主题 跟帖
家园 摘录一些名词作为补充

一直对命题逻辑比较理解,一阶逻辑不是很清楚。所以找本书来再看一看,复习数理逻辑,摘录一些名词作为补充

1。命题,真值,联结词

2。重言式,矛盾式,或然式

3。推理形式

4。同一律,矛盾律,排中律

5。全称命题,特称命题

6。归谬法

7。演绎法和归纳法

8。充分条件和必要条件

9。三段论

10。与逻辑相关的话题:思维,语言

比喻

归纳法:简单枚举法,类比法,因果关系法

辩证法:对立统一规律,量变质变规律,否定之否定规律

谬误

全看分页树展 · 主题 跟帖


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河