更新时间:-- | 阅读量: 62
命题代数中的一种布尔表达式.其递归定义如下:1.......变元是命题公式.2.如果p是命题公式，那么p是命题公式.3.如果p和q是命题公式，那么p∨q，p∧q是命题公式.4.只有有限次地应用定义1至定义3得到的符号串才是 ...
搜索到与“ 命题公式”相关的文献共 0条
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出
