合式公式相关论文
Godel不完全性定理的发表,是本世纪以来数学领域中所取得的重大成就之一,对数学基础的研究起了巨大的推动作用。这一定理的证明和......
为了考查学习潜能,体现新课改精神,现在的模拟题和高考题至少会出一道定义新概念或新运算或新情景的题目,也就是以前没有学过的东......
【摘要】“相对稳定,重点突出,稳中有变,变中求新,适度创新”是高考数学命题的基本原则,高考求新是变化的必然趋势。推陈出新,是谓创新;创......
PeterB.Andrews提出了自动定理证明的配对方法的理论和算法.本文针对该算法的缺点,给出了一个无需回溯的实现算法,并得到一个高阶逻辑的自动定理证明......
机器学习和发现需要我们对当代科学哲学的思想和方法进行形式化.本文介绍了Lakatos方法论的基本思想,并通过二阶受限Tableau来实现Lakatos方法论的形式化系......
在我们生活的环境中,动态模糊事件是普遍存在的,而当今,随着计算机科学技术的发展,人们又试图用计算机来模拟这些具有“动态模糊性”的......
本文及其后续文章将系统地探讨中介逻辑诸子系统的自动推理理论及其实现方式。本文着重讨论中介命题逻辑的自动定理证明理论。文中......
本文先着重从超越世界的语义学角度,讨论辩证逻辑形式系统Z的超协调性。进而在系统Z的基础上建立一个句法上扩展的超协调系统ZT。......
【正】 界说(Defintion,或译为定义)是逻辑学、尤其是逻辑哲学讨论的主题之一。界说是一种界定语词的性质、从而在形式上确立该语......
文献[1]中给出了模态描述逻辑的语法与语义,同时给出了两个模型之间的互模拟关系。目前对各种模态描述逻辑系统的研究主要是它们的......
本文证明了中介命题逻辑MP和中介谓词逻辑MF的可靠性定理,得到MP和MF的推理与演绎推理是相一致的结果。定义1(形式证明) 对于MP和M......
本文试图进一步实现G.W.Leibniz提出的数理逻辑几何化设想。为此,探讨了谓词演算的几何建模与图象算法。文中提出了:①量词状态图......
文[1,2]给出了中介逻辑的命题演算系统MP及MP~*,文[3]给出了MP~*的语义解释并证明了MP~*在此语义解释下的可靠性、完备性定理。但......
根据文[4]构造的模型,本文证明了中介命题逻辑演算系统MP的完备性定理,从而得到MP的形式推理完备地反映了演绎推理的结果。......
【正】 目前,形式系統(演算)理論已經引起了科学界的注意,这是因为它在邏輯学、数学、計算机理論、控制論和語言学等科学部門的发......
LINGO是一套专门用于求解最优化问题的软件,利用该软件可以给出求合式公式的真值和判定合式公式可以满足的方法。......
逻辑是古老而至今还十分兴旺发达的科学。它有许多类型。而其中,符号逻辑可称为传统逻辑的现代类型,它发展得最为成熟,并且硕果累......
现代规范逻辑的类型和系统是很多的,本文评价其中六个类型的若干系统。六个类型是指:一元规范命题逻辑和二元规范命题逻辑,他们各......
含n个命题变元的合式公式A(P1,P2,…,Pn)组成的集合M关于命题公式的等值关系()构成的商集M/()={CA |() B∈CA()M,A()B|关于如下代......
本文先给出命题逻辑P的所有合式公式组成的集合W上的一个偏序关系,从而得到一个偏序集,然后在这个偏序集上讨论了与P中关于合式公......
<正> [前记] 《逻辑与语言》是美国夏威夷大学柯庇(Irvjng M.Copi)所著《符号逻辑》一书的“导言”。这部《符号逻辑》曾经多次增......
【正】 我是一个逻辑工作者。我在读了《辞书研究》1984年第2期上刊登的徐庆凯同志的文章《从辞书学角度评〈逻辑学辞典〉》后,觉......
本文侧重考察自然语言逻辑史上所遇到的一些主要难题,怎样在与之苦斗的过程中寻求改良与改革的途径,又怎样在改良与改革中发现现代......
<正> 《易经》到底是一部什么性质的书?仁者见仁,智者见智。逻辑学家认为,《易经》事实上是“一部关于推理的书”,“是一部帮助人......
本文讨论了离散数学教材中严密性的一致问题,冗余概念问题,相关概念的一致问题及表述的简化和符号化问题。......
中介逻辑ML是根据中介原则构造的一种新的、非古典的逻辑演算系统,详见文[1,2]。本文给出了ML的一种模型,即ML理论的一种语义解释......
本文简要地讨论向量空间的逻辑基础,说明向量空间是精确地建立在最简单的公理组的基础上的.我从三方面加以阐述:(1)以向量空间作为......
【正】 模态逻辑是研究含有“必然”、“可能”等模态算子的命题及其推理的逻辑学科。在传统逻辑学中,逻辑学家们把简单模态命题之......
<正>推理,在此主要是指演绎推理。关于推理规则,现行的逻辑教科书谈之甚少。有的涉及了这个问题,认为,“要使一个推理有效,必须首......
<正> 逻辑语义学是一门新兴的学科。它的兴起,由于推动了计算机识别自然语言的研究,为现代语言学研究提供了基础;有助于对西方哲学......
<正> 30多年前,波兰数学家、逻辑学家卢卡西维兹首次用现代逻辑的方法对亚氏三段论进行形式化的研究,并建立了亚氏三段论的形式系......
<正> 回溯推理(又作“溯因推理”)是科学发现的一种重要的逻辑方法,利用这种方法,我们可以阐明新思想,形成新的假设集,使我们的认......