西安科技大学学报

1981, (01) 22-33

[打印本页] [关闭]
本期目录(Current Issue) | 过刊浏览(Past Issue) | 高级检索(Advanced Search)

数学推理规则及其应用

韩大中;

摘要(Abstract):

<正> §1.概说一数学系统的原始概念、公理、定义和定理等都需表述为命题的形式。建立命题与命题之间的关系,即定理的证明,需以逻辑推理作工具。命题演算是数理逻辑的一个基础分支,它的功用之一是研究数学中使用的演绎推理的性质,并建立判定推理有效性的准则。在命题演算中采用五种逻辑联结诃

关键词(KeyWords):

Abstract:

Keywords:

基金项目(Foundation):

作者(Author): 韩大中;

Email:

DOI: 10.13800/j.cnki.xakjdxxb.1981.01.003

扩展功能
本文信息
服务与反馈
本文关键词相关文章
本文作者相关文章
中国知网
分享