共查询到20条相似文献,搜索用时 12 毫秒
1.
在简易逻辑中“否定”有两种形式:一种是否命题,一种是非P(记作“「P”)。如果原命题是“若p则q”,那么这个原命题的否命题是“若非p则非q”,即否命题是对一个原命题的条件和结论都加以否定;“非P”也叫做命题p的否定,它则是“若p则非q”,即非P是对原命题的结论加以否定。它实际上只给出了命题P的否定和它的否命题的一个简单定义,但是其定义的内涵深沉,值得我们推敲。 相似文献
2.
在简易逻辑中“否定”有两种形式:一种是否命题,一种是非P(记作“┌P”)。如果原命题是“若p则q”,那么这个原命题的否命题是“若非p则非q”,即否命题是对一个原命题的条件和结论都加以否定;“非P”也叫做命题p的否定,它则是“若p则非q”,即非P是对原命题的结论加以否定。它实际上只给出了命题P的否定和它的否命题的一个简单定义,但是其定义的内涵深沉,值得我们推敲。 相似文献
3.
在简易逻辑中“否定”有两种形式:一种是否命题,一种是非P(记作“「P”)。如果原命题是“若p则q”,那么这个原命题的否命题是“若非p则非q”,即否命题是对一个原命题的条件和结论都加以否定;“非P”也叫做命题p的否定,它则是“若p则非q”,即非P是对原命题的结论加以否定。它实际上只给出了命题P的否定和它的否命题的一个简单定义,但是其定义的内涵深沉,值得我们推敲。 相似文献
4.
王郁昕 《北京联合大学学报(自然科学版)》2005,19(4):9-13
互逆主义逻辑对命题进行了严格分类,认为命题可分成不同级别、不同阶次.同时互逆主义逻辑的多层逻辑思想揭示了各类命题之间的内在关系,最高层即二层逻辑主要用于处理最高级别的逻辑命题,这是经典逻辑所不具备的功能.互逆主义逻辑还提供多种方法帮助证明命题的真伪,周氏图就是其中经常使用的方法之一. 相似文献
5.
概率逻辑中的命题相关性与逻辑运算 总被引:1,自引:0,他引:1
原子命题是数理逻辑研究的基本单位. 分析了原子命题的相关性与逻辑运算之间的关系. 在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同. 定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点. 相似文献
6.
李疆 《新疆师范大学学报(自然科学版)》2011,30(4)
文章就物理化学教学中遇到的物理化学问题从简易逻辑的角度加以探讨,对于教师的教学和学生掌握物理化学的基本概念都有着比较明显的效果,也算是物理化学学习和教学的一次尝试。 相似文献
7.
晏兰萍 《萍乡高等专科学校学报》2004,(3):85-86
非限定动词的逻辑主语是我国语法界通称的一个专业术语。在《朗英语语法》和《剑桥英语语法》等由外国作编撰的语法书上,并无关于逻辑主语的既定称呼。在张道真教授编的《实用英语语法》(1995年修订重印本)第259页中有一较翔实而权威的阐述:“不定式虽然在语法上不能有主语,但由于表示的是动作,在意思上是可以有主语的,这个主语可以叫逻辑上的主语(Logical Subject),以区别 相似文献
8.
9.
武宏志 《重庆工商大学学报(自然科学版)》2008,(10)
20世纪70年代以来,通过对逻辑学第一次重大转向即数学转向的反思,逻辑学的发展逐步形成了一些新的特点,加贝和伍兹等将其概括为逻辑学的实践转向。各种新兴的逻辑学分支都考虑人的推理在现实生活语境中怎样完成,这便是逻辑中实践转向的实质。非形式逻辑在这个转向中充当了先锋,而其理论先驱如图尔敏、佩雷尔曼和汉布林对形式演绎逻辑的批评,是这个实践转向的先声。实践转向引起了对逻辑观念、心理主义、形式化的价值、推理评价标准、谬误观等的一系列新思考和新判断,也把人的认知和逻辑紧密联系起来。 相似文献
10.
弗雷格是现代逻辑的创始人,也是公认的语言哲学与分析哲学的始祖.他创造性地研究了关于逻辑的一系列哲学问题,其中,关于"真"的理论在他的逻辑哲学中具有核心地位.弗雷格认为,逻辑研究真,逻辑是关于实真的最普遍规律的科学.他的逻辑观是紧紧围绕他的"真"之理论展开的,"真"之理论是弗雷格逻辑观的理论基石. 相似文献
11.
12.
13.
14.
段新文 《青海师范大学学报(自然科学版)》1997,(4):14-17
对同一逻辑门电路,既可采用正逻辑体制,亦可采用负逻辑体制,还可采秀混和逻辑体制,选用何种逻辑体制,应视分析和设计逻辑电路的方便与否而定。 相似文献
15.
该文介绍了一种基于AT89S51单片机的简易逻辑分析仪的设计方案、系统功能、软硬件电路的设计方法,并对系统性能进行测试与分析结果表明,该分析仪稳定、清晰的显示了波形。 相似文献
16.
介绍采用STC89LE54单片机控制8路逻辑信号电平采集的简易逻辑分析仪设计.采用EPM7128SLC84-15控制系统实现一个数字信号发生器可预置8路信号工作,单片机和EPMTl28SLC84-15间采用中断方式交换数据.采集电路以5 kbit每秒的速率同时对8路逻辑信号进行采样.逻辑信号门限电压通过键盘任意设定信号采集的触发等级、触发条件、触发位置由键盘设定.采集存储的8路信号可以同时清晰稳定地在示波器再现. 相似文献
17.
一种简单实用的逻辑分析仪,阐述了其工作原理、硬件和软硬件设计方案。实现逻辑分析仪的触发识别、数据获取、数据存贮、数据显示等功能,实时分析8路数字信号,并进行了仿真,得到仿真效果图。 相似文献
18.
19.
20.
科技英语中的逻辑判断在科技文献的理解与翻译中十分重要,它既包含语言逻辑判断也包含技术逻辑判断,本文从词汇的某些方面探讨了科技英语中的语言逻辑与技术逻辑判断与翻译.给出典型示例说明科技英语中语言逻辑与技术逻辑判断对正确理解并翻译科技文献的重要性 相似文献