浅谈“简易逻辑“中的“否命题“与“非P“

在简易逻辑中“否定”有两种形式:一种是否命题,一种是非P(记作“┌P”)。如果原命题是“若p则q”,那么这个原命题的否命题是“若非p则非q”,即否命题是对一个原命题的条件和结论都加以否定;“非P”也叫做命题p的否定,它则是“若p则非q”,即非P是对原命题的结论加以否定。它实际上只给出了命题P的否定和它的否命题的一个简单定义,但是其定义的内涵深沉,值得我们推敲。     

浅谈“简易逻辑”中的“否命题”与“非P”

在简易逻辑中“否定”有两种形式:一种是否命题,一种是非P(记作“「P”)。如果原命题是“若p则q”,那么这个原命题的否命题是“若非p则非q”,即否命题是对一个原命题的条件和结论都加以否定;“非P”也叫做命题p的否定,它则是“若p则非q”,即非P是对原命题的结论加以否定。它实际上只给出了命题P的否定和它的否命题的一个简单定义,但是其定义的内涵深沉,值得我们推敲。     

浅谈"简易逻辑"中的"否命题"与"非P"

在简易逻辑中"否定"有两种形式一种是否命题,一种是非P(记作"、P").如果原命题是"若p则q",那么这个原命题的否命题是"若非p则非q",即否命题是对一个原命题的条件和结论都加以否定;"非P"也叫做命题p的否定,它则是"若p则非q",即非P是对原命题的结论加以否定.它实际上只给出了命题P的否定和它的否命题的一个简单定义,但是其定义的内涵深沉,值得我们推敲.     

互逆主义逻辑中的逻辑命题

互逆主义逻辑对命题进行了严格分类,认为命题可分成不同级别、不同阶次.同时互逆主义逻辑的多层逻辑思想揭示了各类命题之间的内在关系,最高层即二层逻辑主要用于处理最高级别的逻辑命题,这是经典逻辑所不具备的功能.互逆主义逻辑还提供多种方法帮助证明命题的真伪,周氏图就是其中经常使用的方法之一.     

概率逻辑中的命题相关性与逻辑运算

原子命题是数理逻辑研究的基本单位. 分析了原子命题的相关性与逻辑运算之间的关系. 在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同. 定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点.     

物理化学中的简易逻辑

文章就物理化学教学中遇到的物理化学问题从简易逻辑的角度加以探讨，对于教师的教学和学生掌握物理化学的基本概念都有着比较明显的效果，也算是物理化学学习和教学的一次尝试。     

浅谈非限定动词的逻辑主语

非限定动词的逻辑主语是我国语法界通称的一个专业术语。在《朗英语语法》和《剑桥英语语法》等由外国作编撰的语法书上，并无关于逻辑主语的既定称呼。在张道真教授编的《实用英语语法》(1995年修订重印本)第259页中有一较翔实而权威的阐述：“不定式虽然在语法上不能有主语，但由于表示的是动作，在意思上是可以有主语的，这个主语可以叫逻辑上的主语(Logical Subject)，以区别     

P2P网络的逻辑思考

文章从逻辑角度分析了传统网络和P2P网络,以及它们的优缺点,并从结构化和非结构化两方面重点解析了P2P网络的逻辑结构.     

逻辑实践转向中的非形式逻辑

20世纪70年代以来,通过对逻辑学第一次重大转向即数学转向的反思,逻辑学的发展逐步形成了一些新的特点,加贝和伍兹等将其概括为逻辑学的实践转向。各种新兴的逻辑学分支都考虑人的推理在现实生活语境中怎样完成,这便是逻辑中实践转向的实质。非形式逻辑在这个转向中充当了先锋,而其理论先驱如图尔敏、佩雷尔曼和汉布林对形式演绎逻辑的批评,是这个实践转向的先声。实践转向引起了对逻辑观念、心理主义、形式化的价值、推理评价标准、谬误观等的一系列新思考和新判断,也把人的认知和逻辑紧密联系起来。     

反证法与命题代数中的等价命题

正确分析和使用反证法证题与命题代数中的等价命题。     

反证法与命题代数中的等价命题

正确分析和使用反证法证题与命题代数中的等价命题。     

简易逻辑分析仪设计

设计了简易逻辑分析仪,采用单片机AT89C52作为主控制器,辅以外部接口实现数据采集存储回放,通过普通示波器作为显示终端,软件上使用结构化C语言进行编程,使其具有8路采样通道、500K采样速度、价格低廉等特点。给出了设计思想、原理框图及软硬件的实现方法以及在大学数字电路教学实验中应用。     

逻辑功能与逻辑体制

对同一逻辑门电路，既可采用正逻辑体制，亦可采用负逻辑体制，还可采秀混和逻辑体制，选用何种逻辑体制，应视分析和设计逻辑电路的方便与否而定。     

简易逻辑分析仪的设计与实现

该文介绍了一种基于AT89S51单片机的简易逻辑分析仪的设计方案、系统功能、软硬件电路的设计方法,并对系统性能进行测试与分析结果表明,该分析仪稳定、清晰的显示了波形。     

基于51单片机的简易逻辑分析仪

介绍采用STC89LE54单片机控制8路逻辑信号电平采集的简易逻辑分析仪设计.采用EPM7128SLC84-15控制系统实现一个数字信号发生器可预置8路信号工作,单片机和EPMTl28SLC84-15间采用中断方式交换数据.采集电路以5 kbit每秒的速率同时对8路逻辑信号进行采样.逻辑信号门限电压通过键盘任意设定信号采集的触发等级、触发条件、触发位置由键盘设定.采集存储的8路信号可以同时清晰稳定地在示波器再现.     

一种简易的逻辑分析仪设计方案

一种简单实用的逻辑分析仪,阐述了其工作原理、硬件和软硬件设计方案。实现逻辑分析仪的触发识别、数据获取、数据存贮、数据显示等功能,实时分析8路数字信号,并进行了仿真,得到仿真效果图。     

剖析三种非经典逻辑的思想来源与特征

论述了概率逻辑,模糊逻辑和不确定逻辑的思想来源;揭示了它们的思想本质特性;比较分析了它们的长处和不足.     

科技英语中的语言逻辑与技术逻辑判断

科技英语中的逻辑判断在科技文献的理解与翻译中十分重要，它既包含语言逻辑判断也包含技术逻辑判断，本文从词汇的某些方面探讨了科技英语中的语言逻辑与技术逻辑判断与翻译．给出典型示例说明科技英语中语言逻辑与技术逻辑判断对正确理解并翻译科技文献的重要性     

论“经济人”假设中的理论逻辑和价值逻辑

"经济人"假设,作为西方经济学基本假设前提,时至今日,仍在不断完善它的理论逻辑和价值逻辑。亚当.斯密首次提出了"经济人"假设,为这一理论奠定了理论逻辑的基础,随后古典经济学派的约翰.穆勒第一次给出了较为准确的"经济人"定义。到了新古典经济学时期",经济人"则变得形式化,逐渐褪下功利主义的外衣。他们的贡献都为完善"经济人"假设的理论逻辑和价值逻辑引出了主轴。