联结词相关论文
标准的类型理论语义学难以处理询问等语言行为。近年来，询问语义学在这方面做出了一些重要的贡献。询问语义学认为句子意义是信息状......
休谟提出的归纳问题是哲学史上一个极其重要问题。在归纳问题的影响下,逻辑学家们也逐渐开始质疑以往深信不疑的演绎推理,追问演绎......
分式是初中数学的重要内容之一,而分式概念是学好分式有关运算的基础,本文旨在对分式概念的学习加以归纳总结,认为要做到“五要、......
“命题”是用语言、符号或式子表达的，可以判断其真假的陈述语句. “命题”是高中数学课程“常用逻辑用语”中的基本概念，是数学中的......
本文通过几个具体的典型实例,来了解和分析离散数学中数理逻辑的一个非常重要的解题方法,即真值表法,它是一种非常简便而又非常重......
主要讨论中介逻辑命题演算系统MP中等值意义下的完全析取范式的存在性和唯一性,同时举例说明该范式的作用.该范式分为真值项与矛盾......
逻辑哲学中精彩的问题是复杂而又困难的，对真理理论、论证的有效性、悖论问题等经典的逻辑哲学问题的各种理论进行简要的论述，并加以......
对数理逻辑中的各种联结词所构成的集合进行了讨论，并用计算机编程进行理论推导，把逻辑推理转化为计算机能够实现的0.1运算，用计算机......
本文以集对分析理论为基础,给出了集对逻辑的定义和概念,并讨论了有关的逻辑运算和性质....
在4个一元16个二元联结词的范围内，给出了由联结词构成的集合的可表出性的概念，处理了联结词集之间的关系并作了一些关于联结词的完......
系统Z是文[7]构造的经典命题逻辑系统,这一系统的初始联结词是一类广义的谢夫竖函数,并且采用括号记法.作者在系统Z中加入存在量词......
对中介逻辑命题演算系统MP的18条推理规则作了简化,从中删除了5条不独立的推理规则,构成与原推理规则集S等价的形式推理规则集S1.......
关于逻辑的性质，一般有三种观点：一元论，多元论和工具论，逻辑一元论把所有逻辑都归结为一种逻辑，这种分类方法往往导致只承认一种逻辑，即......
通过比较鞠实儿[1997]和鞠实儿等[2001 & 2003],指出文中的三值命题演算SLO只维持了名称的同一性,不具备实质的同一性;分析了SLO研......
本文利用微格教学的思想,设计了离散数学课程中一节课的教学进程,以期揭示利用微格教学的作用和方法.......
在哲学界,人们常用“非此即彼”这一命题来标明形而上学思维方式的特征。这是因为,“非此即彼”具有不相容选言命题的逻辑结构,它......
本文对数理逻辑中的各种联结词所构成的集合进行了讨论,得到全功能联结词集合,指出了12个全功能联结词集合.其中,一阶全功能联结词......
本文简要阐述逻辑学中的几个重要概念,并运用例子来解析这些概念,为更好地理解和运用这些概念提供参考。指出逻辑学是人们在生活和......
【正】 从古典演绎逻辑到现代演绎逻辑的发展经历了一个改良与改革的过程。现在,我们总结一下这些经历,从中吸取经验教训,对于今后......
<正> 在哲学文献中,逻辑规律即逻辑的真命题称为“逻辑真理”,涉及具体事实的真命题称为“事实真理”;前一种真理或命题又称为“分......
《全日制普通高级中学教科书（试验本）数学》教材第一册（上）的第一章有“简易逻辑”内容，意在是让学生弄清命题之间的逻辑关系，自觉地使用......
本文列举了逻辑演算中的各种联结词,对这些联结词所构成的完备集进行了较为详尽的讨论,给出了证明,同时对不完备的联结词集合也给......
<正> 命题逻辑所揭示的逻辑规律都是重言式,其中有一部分是重言等值式。重言等值式在逻辑学这个大学科中占有极其重要的地位,是命......
<正> 关于“不……不……”,“没有……没有……”,一些逻辑论著历来简单地把它们视为必要条件假言判断的逻辑联结词。对此,江显芸......
在数学中,我们把＂且＂与＂或＂称为逻辑联结词,含有逻辑联结词的命题叫复合命题,不含逻辑联结词的命题叫简单命题.如果仅从字面上区分,难......
本文意图为话语表现理论构造一个简单处理的形式系统。 话语表现理论(DRT)是由Hans Kamp在20世纪80年代初期提出的、动态地描述......
选言命题是指一种断定它的支命题至少一个为真并且它们在部分情况下虽然可以同真但又非必须同真的复合命题。在逻辑史上,选言命题......
运用括号表示法来构建4值逻辑,其形式语言非常简洁,公式表达准确、无歧义,也更加简短。使用符合4值逻辑推理直觉的16条推理规则,可......
系统地给出了用点集合来图解命题逻辑的工具——文氏图(John Venn)方法。通过建立命题与适当集合之间的对应关系阐述了用文氏图直......
现在的多值逻辑已成为内容丰富的逻辑学分支,在计算机和人工智能中有着广泛的应用,这种发展与其早期的思想有着一定的联系。从亚里......
本文致力于解决非实质相似(不同类型)假设归纳支持的可比性问题。首先,本文分析了刘壮虎提出的VIL系统,指出由于语义、表达能力、......
<正> “充要条件”是高中数学中的一个重要概念,它的应用贯穿于数学各个分支,在其他学科以及生产实践中都有广泛的应用。本文着重......
期刊
<正>一、什么是模糊性?像"高"和"矮"、"大"和"小"、"胖"和"瘦"、"美"和"丑"、"聪明"和"愚笨"、"富有"和"贫穷"、"秃头"、"谷堆"、"......
<正>从命题的结构来看,命题可分为简单命题和复合命题.不含逻辑联结词的命题叫简单命题.含逻辑联结词("或","且","非")的命题叫复......
西方逻辑史研究,对形式逻辑实现现代化,对加强西方哲学史研究,对开展科学方法论的研究都有重要意义。西方逻辑史一般被划分成古代......
<正>“问题情境”是指教学中个体觉察到的一种有目的但又不知如何达到这一目的的心理困境,也就是说学生所接触的内容用原有的知识......
<正>新课程标准下,高考对集合与常用逻辑用语知识的考查将保持相对稳定,不会有大的波动.对于集合,注重对双基知识的考查,要具有数......
<正>实质追索集合与简易逻辑是中学数学和后继学习的基础,也是支撑现代数学大厦的基石．高考要求:①理解集合、子集、补集、交集、并......
期刊
