主题：【原创】数理逻辑发展的简单脉络（1） -- 泰让
共:💬38 🌺134
一直对命题逻辑比较理解，一阶逻辑不是很清楚。所以找本书来再看一看，复习数理逻辑，摘录一些名词作为补充
1。命题，真值，联结词
2。重言式，矛盾式，或然式
3。推理形式
4。同一律，矛盾律，排中律
5。全称命题，特称命题
6。归谬法
7。演绎法和归纳法
8。充分条件和必要条件
9。三段论
10。与逻辑相关的话题：思维，语言
比喻
归纳法：简单枚举法，类比法，因果关系法
辩证法：对立统一规律，量变质变规律，否定之否定规律
谬误
- 相关回复 上下关系8
🙂【原创】数理逻辑发展的简单脉络（1） 58 泰让 字2778 2008-01-01 12:04:35
🙂摘录一些名词作为补充
🙂-- 系统屏蔽 --。
🙂【原创】数理逻辑发展的简单脉络（2） 35 泰让 字3091 2008-01-03 18:40:41
🙂【原创】数理逻辑发展的简单脉络（3） 15 泰让 字3162 2008-01-09 17:11:35
🙂花！ 1 随心飞 字0 2008-01-19 13:14:40
🙂敬仰一下 1 爱莲 字8 2008-01-19 10:54:16
🙂怪不得,人工智能杂志上有不少意大利人的文章 1 njpower 字62 2008-01-19 06:12:42