蜻蜓
提示 登录 注册 提示 25305/0 09年7月4日 周六 22点02分 站标
从三品:银青光禄大夫|云麾将军级别

认证会员
头像 积分:24082 乐善:1229 声望:699
离线/隐身 earthcolor 家园博客 发短信
注册于:2005-10-12 23:57:35
大类:[科技经济] → 版面:[科技探索]
104/37 转发回复分页全看树展楼主帖 引用0 送花10收藏:0工具
o摘录一些名词作为补充 [ earthcolor ] 于:2008-01-18 07:31:24
一直对命题逻辑比较理解,一阶逻辑不是很清楚。所以找本书来再看一看,复习数理逻辑,摘录一些名词作为补充

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



最后于2008-01-19 23:41:26改,共1次;
104/37/0 转发回复分页全看树展楼主帖 引用0 送花10收藏:0工具
引用(0) 请拷贝:
※※※ 相关(回复)帖 ※※※
O 【原创】数理逻辑发展的简单脉络(1) (泰让;字2778 阅3779 花46
O 摘录一些名词作为补充(earthcolor;字421 阅104 花1 O
O 相当不错 (春天;字28 阅150 花1
O 【原创】数理逻辑发展的简单脉络(2) (泰让;字3091 阅1433 花30
。。O 【原创】数理逻辑发展的简单脉络(3) (泰让;字3162 阅405 花14
。。。O 花! (随心飞;字0 阅106 花1
。。。O 敬仰一下 (爱莲;字8 阅119 花1
。。。O 怪不得,人工智能杂志上有不少意大利人的文章 (njpower;字62 阅129 花1
... 共 》37《跟帖
广告 购物分成,帮助网站

大厅。自动刷新完整聊
通宝可送礼祝福(随机8) 查看全部
游侠 送给 三妞 嫁人了?:)
游侠 送给 疯神光膀子 看样子工作计划完成了:)
游侠 送给 苹果 哈哈,喜欢你的爱情故事,帅哥:)
游侠 送给 dreamflyer 喜欢你的文章
游侠 送给 顾非 送礼祝福
游侠 送给 波音战斗机 送礼祝福,嘴上功夫了得的战斗机:)
游侠 送给 气吞万里如虎 送礼祝福
游侠 送给 五度 送礼祝福
歇后语我要添加 更多
  • 公鸡戴帽子--官上加官(官=冠) [Slay0r]
  • 王八肚子插鸡毛--归心似箭(归=龟) [Slay0r]
  • 飞机上点灯--高明() [Slay0r]
  • 牛角上抹油--又尖又滑() [Slay0r]
  • 鼠进书箱--咬文嚼字() [Slay0r]
  • 聋子耳朵--摆设() [Slay0r]
  • 兔的尾巴--长不了() [Slay0r]
  • 秋后的蚂蚱--蹦哒不了几天() [Slay0r]

Copyright © cchere 西西河 feed 西西河规 版主规范 帮西西河 帮助(FAQ) 版面介绍 发帖特殊效果 网站地图 关于西西河