首页 > 论文下载

命题逻辑PL表达能力和应用

期刊名字：兰州大学学报（社会科学版）
文件大小：
论文作者：邱德钧
作者单位：兰州大学哲学社会学院
更新时间：2022-04-26
下载次数：次

会员下载(3点)

VIP会员下载(0点)

游客扫码下载(3点)

论文简介

命题逻辑PL系统依靠(┑),∧,∨,→,(←→)算子是否足以表达任意n元布尔函数,是大多逻辑著作不注重叙述的问题,本文就此作详细的说明；在此基础上,利用二叉树内在的结构特点,定义INF范式的表达,以该范式的惟一性展现命题公式在计算上的独特作用.

论文截图

上一条：论李达与马克思主义妇女思想中国化

下一条：网络文学研究生态的检视与思考

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

算子布尔函数二叉树指派 INF