形式逻辑�Q�普通逻辑�Q?�Q�直�a�判断

心内求法 — Mon, 27 Nov 2006 07:23:00 GMT

摘要: 判断是对事物情况有所肯定或否定的思维形式�Q�根据复杂程度可以分为简单判断（直言判断�Q�性质判断�Q�和复合判断�?

阅读全文

心内求法 2006-11-27 15:23 发表评论

形式逻辑�Q�普通逻辑�Q?�Q�集合论—逻辑的�Ş式化

心内求法 — Tue, 31 Oct 2006 10:16:00 GMT

概念的外延是一个集合。外延的集合指代的是概念�?/span>

所以可以把集合论（包括集合的定义和�q�算�Q�看作是逻辑的�Ş式化表示�?/span>

1�Q?span style="FONT: 7pt 'Times New Roman'"> 通过外�g定义概念

A={a,b,c} 。外延中的对象与概念的关�p�：(x��) a �?/span> A

2�Q?span style="FONT: 7pt 'Times New Roman'"> 通过内涵定义概念

A={x|x 满��所有内�늚�条�g }

3�Q?span style="FONT: 7pt 'Times New Roman'"> 概念的运��?/span>

首先�U�定�Q�空概念 Æ �Q�论�?/span> R �Q�是逻辑�q�算的前提，是对概念�q�行�q�算和比较的范围�?/span>

�?/span> Ç �Q�逻辑乘）�Q��ƈ È �Q�逻辑加）�Q�差�Q�（逻辑减）�Q�非 Ø �Q�逻辑反）

概念的运��结果可以��生新的概念，表现为知识的创新�?/span>

4�Q?span style="FONT: 7pt 'Times New Roman'"> 概念间的关系

相容关系 A Ç B ¹ Æ

其中交叉关系�Q?/span> A Ç B Ì A �?/span> A Ç B Ì B

包含关系�Q?/span> A Ì B �?/span> B Ì A

全同关系 �Q?/span> A=B

不相容关�p?/span> A Ç B= Æ

其中矛盾关系�Q?/span> A È B �Q?/span> R

反对关系�Q?/span> A È B Ì R

5�Q?span style="FONT: 7pt 'Times New Roman'"> �q�算�?/span>

交换律：(x��) A È B �Q?/span> B È A �Q?/span> A Ç B �Q?/span> B Ç A

�l�合律：(x��)�Q?/span> A È B �Q?/span> È C �Q?/span> A È �Q?/span> B È C �Q�；�Q?/span> A Ç B �Q?/span> Ç C �Q?/span> A Ç �Q?/span> B Ç C �Q?/span>

分配律：(x��) A È �Q?/span> B Ç C �Q�＝ �Q?/span> A È B �Q?/span> Ç �Q?/span> A È C �Q�； A Ç �Q?/span> B È C �Q�＝�Q?/span> A Ç B �Q?/span> È �Q?/span> A Ç C �Q?/span>

反演律（��h��根律�Q�：(x��) Ø �Q?/span> A È B �Q�＝ Ø A Ç Ø B �Q?/span> Ø �Q?/span> A Ç B �Q�＝ Ø A È Ø B

上面是数学的形式化，是针对�h的。计��机�q�不懂这个，所以对于计��机的�Ş式化应该反应在类的设计上�Q?/span>

心内求法 2006-10-31 18:16 发表评论

汉语是思维�q�K��敏捷的语�a�

心内求法 — Thu, 26 Oct 2006 02:48:00 GMT

亚洲国产电影在线观看,日本亚洲视频在线 ,亚洲日日做天天做日日谢

形式逻辑�Q�普通逻辑�Q?�Q�直�a�判断

形式逻辑�Q�普通逻辑�Q?�Q�集合论—逻辑的�Ş式化

汉语是思维�q�K��敏捷的语�a�