检索结果-南通市图书馆

从判断的真假看假言判断与蕴含运算的异同

引用

昭通学院学报 1998年第Z2期 103-108页

作者：吴文良

本文通过对判断逻辑真与内容真的讨论,比较了传统逻辑中的假言判断与数理逻辑中蕴含运算两个概念的异同,以便准确理解这两个逻辑学中的重要概念,正确运用假言判断.

关键词：判断蕴含运算真实性

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

基于集合分析的数据查询方法

引用

华中科技大学学报（自然科学版） 2008年第12期36卷 5-7页

作者：李久仲石硕沈轶广东轻工职业技术学院计算机系广东广州510300 华中科技大学控制科学与工程系湖北武汉430074

针对具有全称量词及蕴含运算查询构造困难的问题,用数学中集合论工具,分析了这两类查询的本质,得到了关于这两类查询应满足的集合条件的两个定理.应用这两个定理,推导出了实现几类复杂查询的统一查询模式.推出的查询集合条件简单明了,... 详细信息

针对具有全称量词及蕴含运算查询构造困难的问题,用数学中集合论工具,分析了这两类查询的本质,得到了关于这两类查询应满足的集合条件的两个定理.应用这两个定理,推导出了实现几类复杂查询的统一查询模式.推出的查询集合条件简单明了,从而使具有全称量词和蕴含运算命题查询的构造更容易理解.典型应用示例验证了基于集合分析数据查询方法的有效性.

关键词：查询优化集合分析命题全称量词蕴含运算嵌套子查询

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

关于逻辑运算的关系

引用

湘潭师范学院学报(社会科学版) 1980年第2期 56-58页

作者：刘钊南

在一般介绍逻辑代数的书里,所用的逻辑运算只有五种,即逻辑加,用'+'表示,代表联接词'或';逻辑乘,用'·'表示(运算时可省略),代表联接词'与';逻辑非,用'-'表示,代表对某事物的否定或反面;蕴含运算,用'→'表示,代表联接词'若……,则……'... 详细信息

在一般介绍逻辑代数的书里,所用的逻辑运算只有五种,即逻辑加,用'+'表示,代表联接词'或';逻辑乘,用'·'表示(运算时可省略),代表联接词'与';逻辑非,用'-'表示,代表对某事物的否定或反面;蕴含运算,用'→'表示,代表联接词'若……,则……';等值运算,用'三'表示,代表联接词'充分必要条件'。那么这五种运算有什么关系呢?

关键词：表出逻辑加蕴含运算逻辑式基本运算逻辑非逻辑运算布尔运算

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

关于格蕴涵代数公理的一个注记

引用

Chinese Quarterly Journal of Mathematics 2002年第2期17卷 71-76页

作者：赵光峰徐扬等唐山师范大学数学系河北唐山063000 西南交通大学应用数学系四川成都610031

设在一个非空集合L上有一个二元运算→和两个零元运算O与I，除此之外没有其它已知的代数结构，利用这三个运算可以在L上定义一个一元运算′和两个二元运算∨和∧（定义2．1）。本文证明了只要这些运算满足格蕴涵代数的公理（不包括有余... 详细信息

设在一个非空集合L上有一个二元运算→和两个零元运算O与I，除此之外没有其它已知的代数结构，利用这三个运算可以在L上定义一个一元运算′和两个二元运算∨和∧（定义2．1）。本文证明了只要这些运算满足格蕴涵代数的公理（不包括有余格的公理），（L，∨，∧，′）就是一个有泛界O，I的有余格（定理2．2）。因此在定义格蕴涵代数时可以在一个没有任何代数结构的非空集合上定义蕴含运算而不必在一个有泛界的有余格上定义蕴含运算，而且在这两种定义方式中蕴含运算所满足的条件是相同的。

关键词：格蕴涵代数格蕴涵代数公理非空集保蕴含运算

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

T-SQL数据查询中的疑难分析

引用

广东轻工职业技术学院学报 2006年第3期5卷 8-10页

作者：李久仲石硕广东轻工职业技术学院计算机工程系广东广州510300

带有全称量词命题与蕴含命题的数据查询是数据库应用系统中最实用的两类查询,但也是最难的两种数据查询。在这两类数据查询中,使用了多层嵌套子查询,致使学习者对查询语句的理解变得相当困难。本文从集合的角度分析了这两类查询难点所在... 详细信息

带有全称量词命题与蕴含命题的数据查询是数据库应用系统中最实用的两类查询,但也是最难的两种数据查询。在这两类数据查询中,使用了多层嵌套子查询,致使学习者对查询语句的理解变得相当困难。本文从集合的角度分析了这两类查询难点所在,并通过实例阐明了实现这两类查询的编程思路,从而使学习者轻松理解和掌握这两类数据查询的方法。

关键词：全称量词蕴含运算子查询相关子查询

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：