学科分类
/ 1
3 个结果
  • 简介:常逻辑公式是不含命题变元的逻辑公式,运用它们可以定义结构类。反过来,某些结构类却不能以常逻辑公式集定义。模态逻辑中一阶可定义的框架类可被常模态公式集定义的充分必要条件是,该框架类对满射互模拟象、不相交并封闭,并且其补类对超滤扩张封闭。有穷传递框架类相对可由常模态公式集定义的充分必要条件是,它对满射互模拟象和不相交并封闭。这两条定理中后一条可推广至直觉主义逻辑。

  • 标签: 模态逻辑 定义 公式 充分必要条件 直觉主义逻辑 封闭
  • 简介:康德在《论永久和平——一部哲学规划》中提出了一个很重要的公式即公开性公式,一直以来,在这一公式的翻译中,不论是中译还是英译都存有较大偏差,国内著名学者何兆武先生的译文也不例外。何先生在这一公式的翻译中存在着几处严重的误译,这几处又恰恰是理解康德这一公式的关键所在,而准确的译文建立在准确理解的基础之上,因此,对这一公式中容易误译的行动的准则、公开和不相容这三个关键概念的阐释将有助于我们对这一公式的翻译,从而更加深入对康德这一公式本身的理解。

  • 标签: 康德 公开性 准则 不相容
  • 简介:<正>现代计算机技术已深入到国防、工、农、商、学、生活等各个领域,成为应用最广泛的一门科学。第一台计算机,仍回溯到1946年美国制造的ENIAC(ElectronicNumericalIntegrator&Calculator),它使用了188,00个电子管,加法速度每秒5000次,乘法速度每秒56次,比继电器计算机快一千倍,比人快20万倍,运行了大约十年。

  • 标签: 二进制数 现代计算机技术 易经 继电器计算机 法则 加法速度