L*系统中的函数决定公式问题

doi:10.3778/j.issn.1002-8331.2010.15.010

计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (15): 31-33.DOI: 10.3778/j.issn.1002-8331.2010.15.010

L*系统中的函数决定公式问题

袁彦莉，李成允，张兴芳

聊城大学数学科学学院，山东聊城 252059

收稿日期:2008-10-22 修回日期:2008-12-25 出版日期:2010-05-21 发布日期:2010-05-21
通讯作者: 袁彦莉

Problem of formulas associated with functions based on L* system.

YUAN Yan-li，LI Cheng-yun，ZHANG Xing-fang

School of Mathematics Science，Liaocheng University，Liaocheng，Shandong 252059，China

Received:2008-10-22 Revised:2008-12-25 Online:2010-05-21 Published:2010-05-21
Contact: YUAN Yan-li

摘要/Abstract

摘要： 基于L*系统，针对由两个原子生成的公式，解决了王国俊教授提出的函数决定公式问题，给出了逻辑公式真值函数的特征，进而按照逻辑等价的关系将两个原子生成的公式集进行了细致的分类并给出了此类公式真度的特征。

关键词: L*系统, 真值函数, 真度

Abstract: In this paper the problem introduced by processer Wang is discussed.The characterization of functions associated with formulas generated by two atoms based on L* system is given.Furthermore，a detailed characterization of F（p，q） is given.

Key words: L* system, truth function, truth value

中图分类号:

TP18

袁彦莉，李成允，张兴芳. L*系统中的函数决定公式问题 [J]. 计算机工程与应用, 2010, 46(15): 31-33.

YUAN Yan-li，LI Cheng-yun，ZHANG Xing-fang. Problem of formulas associated with functions based on L* system.[J]. Computer Engineering and Applications, 2010, 46(15): 31-33.

[1]	秦晓燕. 推广规则后一阶逻辑公式的准真度[J]. 计算机工程与应用, 2019, 55(6): 39-41.
[2]	李修清，张超权. 逻辑理论的随机相容度[J]. 计算机工程与应用, 2018, 54(3): 46-49.
[3]	王勇勇，惠小静. 增加[Δ]算子的Gödel[n]值命题逻辑系统理论的平均真度[J]. 计算机工程与应用, 2018, 54(19): 68-71.
[4]	朱乃调，惠小静，高晓莉，高姣. Gödel [n]值命题逻辑系统的真度理论[J]. 计算机工程与应用, 2017, 53(11): 67-72.
[5]	李燕. 概率逻辑学基本定理的推广及其应用[J]. 计算机工程与应用, 2017, 53(1): 54-56.
[6]	张超权，李修清. 三值命题逻辑系统中理论的随机发散度的分布[J]. 计算机工程与应用, 2017, 53(1): 69-72.
[7]	李修清. n值命题逻辑中的ξ-条件开放度[J]. 计算机工程与应用, 2016, 52(8): 25-28.
[8]	魏海新. n值Lukasiewicz命题逻辑系统中理论的相容度[J]. 计算机工程与应用, 2016, 52(5): 33-35.
[9]	李　　骏，李小兵. Lukasiewicz逻辑系统中理论的平均真度及偏差[J]. 计算机工程与应用, 2016, 52(4): 42-45.
[10]	蒙頔，李骏. n值命题逻辑中公式列的收敛性[J]. 计算机工程与应用, 2016, 52(22): 55-58.
[11]	袁凯峰. 二值逻辑系统中理论的随机发散度的分布[J]. 计算机工程与应用, 2016, 52(12): 49-52.
[12]	马巧云. 逻辑系统[L?n]中一类特殊公式的[ΣΓ]-真度[J]. 计算机工程与应用, 2016, 52(11): 34-37.
[13]	高永刚，徐涵秋. 利用FIHS和BT的遥感影像融合改进算法[J]. 计算机工程与应用, 2015, 51(23): 23-27.
[14]	马巧云1，吴洪博2. 多值逻辑公式间的伪距离的Boole函数表示[J]. 计算机工程与应用, 2015, 51(23): 38-41.
[15]	李修清. 命题公式的随机真度与推理规则[J]. 计算机工程与应用, 2015, 51(19): 66-70.

L*系统中的函数决定公式问题

Problem of formulas associated with functions based on L* system.

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics