一个命题逻辑的排斥演算系统 一个命题逻辑的排斥演算系统

一个命题逻辑的排斥演算系统

  • 期刊名字:安徽大学学报(哲学社会科学版)
  • 文件大小:
  • 论文作者:杜国平
  • 作者单位:中国社会科学院哲学研究所
  • 更新时间:2022-04-09
  • 下载次数:
论文简介

在日常推理中,一般的非有效式比逻辑矛盾具有更大的隐蔽性,通过对卢卡西维茨的工作进行改造,可以建立一个排斥所有非有效式的演算系统,并对其可靠性和完全性给出严格的证明.在此基础上,证明了排斥系统和证明系统的不同性质,这有利于人们进一步认识谬误的本质.

论文截图
版权:如无特殊注明,文章转载自网络,侵权请联系cnmhg168#163.com删除!文件均为网友上传,仅供研究和学习使用,务必24小时内删除。