摘要
以往的逻辑理论讨论的是理论上命题之间的逻辑关系,作为一种基本准则,可以放在许多情况下使用,但是一般的逻辑理论相对抽象,命题形式过于简单,这样有时不能很准确很方便地处理实际问题,在传统数学中,分布是一种重要的思想,基于这种思想建立了分布逻辑理论,同时对命题值在分布结构上的真假以及变化进行了讨论。
Classical logic studies general propositions and logical formulas.As a general rule classical logic can be used in many circumstances.But sometimes classical logical theory is too abstract to study real problems.Distribution is an important idea in mathematics.This paper sets up a new logic called distributed logic and discusses the truth,the false and changes of propositional value on distributed structure.
出处
《数学的实践与认识》
CSCD
北大核心
2012年第7期176-185,共10页
Mathematics in Practice and Theory
关键词
分布命题
分布逻辑公式
分布逻辑模型
充满
空白
变化
突变
伴随命
题
排斥命题
distributed proposition
distributed logical formulas
distributed logical model
fullness
emptiness
change
mutation
adjoint proposition
exclusive proposition