排序方式: 共有41条查询结果,搜索用时 31 毫秒
1.
针对命题逻辑系统L*,以及增加一元联结词△后的系统L*△,研究了该逻辑系统有效集的特征,进而以有效集为工具得到公式集F(S)的一类分划,即可将L*与L*△中的公式集F(S)分别分为16和20个等价类;最后给出了L*中对M P规则封闭的有效集的特征。 相似文献
2.
3.
4.
See本刊1996年第一期的《怎样才能问到路》一文.现在介绍的article is a little bit related to thatone.该文作者是C·Baltus,原文刊于Mathematics Teacher杂志Vol.94,No.9. 作者编了一个story,说是Ellen visited a strange island.The population there was made up of membersof two groups,the truthtellers who uttered(说)only true sentences and the liars who always lied(说谎).Anyinhabitant(居民)knew whether another one was a truthteller or a liar,but Ellen could only judge(判断,识别)them by their statements. 相似文献
5.
6.
我国计量技术规范《JJF1001—1998通用计量术语及定义》对真值、随机误差和系统误差给予了新的定义,对过去的定义作了原则上的改变.本文对新定义的科学性和合理性进行了讨论,并建议在大学物理实验教学和教材中采用. 相似文献
7.
8.
在语言真值格值一阶逻辑系统的框架下,讨论了两种推理模型中的不确定性推理理论与方法,并针对不同的推理规则得到了推理算法,其推理算法既有合理的语义解释又有严密的语法论证. 相似文献
9.
10.
讨论基于语言真值格值一阶逻辑的不确定性推理的语法内容,并研究了推理规则的用性和可靠性,证明了推理规则在a≤∧θ∈Lx×L2(θ→θ')(θ≠(ax,b2))水平下的闭性,得到了推理规则在此水平下可靠性的充分必要务件. 相似文献