首页> 中文会议>2009年全国理论计算机科学学术年会 >重言式和矛盾式的代数化证明

重言式和矛盾式的代数化证明

页面导航

摘要
著录项
相似文献
相关主题

摘要

在对命题逻辑代数化表示的基础上,通过解多项式方程组,对命题公式进行等价转换、演绎推理.用有理数域上的多项式组替代命题公式,利用纯代数的方法给出命题公式的重言式和矛盾式的证明.

著录项

来源
《2009年全国理论计算机科学学术年会》|2009年|17-21|共5页
会议地点哈尔滨
作者
王礼萍; 张树功;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类算法理论;数理逻辑（符号逻辑）;
关键词
多项式方程组; 命题公式; 逻辑代数化; 等价转换;
入库时间 2022-08-17 11:19:52

相似文献

中文文献
外文文献
专利

1. 重言式和矛盾式的代数化证明 [J] . 王礼萍 ,张树功 . 计算机与数字工程 . 2009,第008期
2. 对相对主义的反思:从重要的重言式到诱人的矛盾式 [J] . 苏珊·哈克 ,徐召清 ,彭译莹 . 哲学分析 . 2019,第003期
3. 论语言中的重言式和矛盾式 [J] . 王擎擎 . 南方论刊 . 2007,第011期
4. 关于蕴涵重言式不是推理式的证明 [J] . 吴春红 ,张延伍 . 郑州航空工业管理学院学报（社会科学版） . 2012,第003期
5. 命题重言式形式化证明的实现 [J] . 王加阳 ,蒋外文 . 信息技术 . 2000,第011期
6. 命题逻辑推理的一个代数化证明方法 [C] . 王礼萍 . 全国第十五届离散数学学术研讨会 . 2010
7. 基于一元算子的模糊蕴涵和余蕴涵及其广义重言式研究 [A] . 张凤霞 . 2014

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号