您好、欢迎来到现金彩票网!
当前位置:在线斗牛棋牌游戏 > 析取范式 >

析取范式和合取范式中可出现的命题联接词是(可多选): 否定 合

发布时间:2019-05-29 05:26 来源:未知 编辑:admin

  一般的教材不直接介绍范式的概念,以下属于个人理解。我觉得范式可以理解为一类结构特殊一点的合式公式或干脆称之为命题公式,说它特殊是因为它的组成部分,除了命题变项p,q,r,...外,其中的联结词组成一个联结词完备集,比如{否定,合取,析取},由此可以构造出析取范式或合取范式。这类范式可以很容易判断是永真式、永假式还是可满足式子,讨论范式的目的就是研究命题公式的简化,从而可以对命题公式进行分类。

http://svabelgium.com/xiqufanshi/39.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有