期刊文献+

关于一阶逻辑范式定理的几个等值式的一个注记

A Remark on Serveral Equivalent valued Formulas of Prenex Normal Form Theorem of First Order Iogic
下载PDF
导出
摘要 以{→,~}为连词完全集的一阶逻辑前束范式定理是由4 个等值式得到的。对于4个等值式,本文得到了它们之间的一个基本关系;同时,利用不带等词的一阶系统K 中的两个定理来证明了4 个等值式是两两等价的。 In the first order logic whose adequate set of connective is (→,~),we can use the four \{equivalent\} valued formulas to show that the prenex normal form theorem is true.We find that there′s a basic relationship between the four equivalent valued formulas.In this paper,we make use of two theorems of the first order system without equality to prove that two of the four equivalent valued formulas are equivalent to each other.
出处 《浙江师大学报(自然科学版)》 1999年第3期16-18,共3页 Journal of Zhejiang Normal University(Natoral Sciences)
关键词 一阶逻辑 前束范式 范式定理 数理逻辑 等值式 first order logic prenex normal form prenex normal form theorem
  • 相关文献

参考文献2

  • 1汉密尔顿AG 朱水林(译).数理逻辑[M].上海:华东师范大学出版社,1986..
  • 2汉密尔顿AG 骆如枫等(译).数学家的逻辑[M].上海:商务印书馆,1989..

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部