摘录一些名词作为补充 [ earthcolor ] 于:2008-01-18 07:31:24
一直对命题逻辑比较理解，一阶逻辑不是很清楚。所以找本书来再看一看，复习数理逻辑，摘录一些名词作为补充

1。命题，真值，联结词
2。重言式，矛盾式，或然式
3。推理形式
4。同一律，矛盾律，排中律
5。全称命题，特称命题
6。归谬法
7。演绎法和归纳法
8。充分条件和必要条件
9。三段论
10。与逻辑相关的话题：思维，语言
比喻
归纳法：简单枚举法，类比法，因果关系法
辩证法：对立统一规律，量变质变规律，否定之否定规律
谬误



最后于2008-01-19 23:41:26改,共1次;