关于模态公理系统P1-P5的布尔值

证明与模态命题系统S     

关于模态命题系统的一种布尔值模型

本文首先定义了模态命题公式□a的布尔值,然后证明模态命题逻辑的正规系统K、D和T以及严格蕴涵系统S1和S2的所有公理的布尔值为1.最后,证明了VB是K.D和T以及S1和S2的布尔值模型.     

关于严格蕴涵系统的布尔值模型

本文是为Lewis的五个严格蕴涵系统建立布尔值模型.为此,本文首先定义了模态公式口α的布尔值‖口α‖;其次证明在该定义下,模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的布尔值模型VB(B是一个完全的布尔代数)也是严格蕴涵系统S1和S2的布尔值模型.     

关于模态命题系统P5的协调性

证明模态系统P5的协调性．即：证明了模态系统P5的所有公理的布尔值为1．亦即：V^B(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型．     

模态系统S4.1的协调性

文献［7]证明了严格蕴涵系统S4的协调性，本文证明在严格蕴涵系统S4的基础上增加公理M所得到的系统S4．1的协调性。     

关于模态命题公式4、E和B的布尔值

模态公式4、E和B是直观上难以确认是否成立的一类模态公式 文献[6]证明了:在模型〈VB,R,‖‖〉下,当R是VB上的任意一个二元关系时,模态公式4、E和B的布尔值不能确定 本文证明:当R是VB上自返的二元关系时,模态公式4、E和B的布尔值为1 因此,模态系统S4、S5和B是协调的     

关于模态命题系统P_5的协调性

证明模态系统P5的协调性.即:证明了模态系统P5的所有公理的布尔值为1.亦即:VB(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型.     

模态逻辑系统S5的本原运算子集

探讨了模态逻辑系统Ｓ５的运算子性质，进而证明关于它的本原运算子集的一个定理，并给出一些推论。     

布尔代数的最小化──离散数学教改谈

本文针对布尔代数的三种定义,分析它们的通缉结构,讨论要理解它们所需的知识与素养上的准备,说明它们与学习者的能力的关系。从而得出对不同层次学生的不同讲法和适用矜三年制计算机应用与维护专业的用最少学时在最少前提下布尔代数的讲法。     

面向图元对象的虚拟试验模态分析系统

提出一种面向图元对象的结构输入输出方法,建立了基于OpenGL图形工业标准的试验模态分析输入输出模型,采用MFC与OpenGL技术实现了以结点、梁图元、三角形图元、四边形图元等为基础的三维图形的输入、显示夺动态输出,图元在几何、存储结构等方面与有限元分析中的单元保持了高度一致,使得试验模态分析和计算模态分析有了较好的兼容性,并在模型基础上完成了结构输入、数据采集分析、模态振型输出等模块,开发出了一种虚拟试验模态分析系统。     

浅论体育教学中运用多媒体技术的价值

教育现代化的重要标志是教学手段的现代化，而现代信息技术在学校教育中的运用越来越广泛，体育教育也不例外。在体育课上，正确地充分利用多媒体组织教学可以增加课的容量；加大教师对学生的指导和纠正错误动作的力度；能充分调动学生的学习积极性和增强学生的自学能力和创造能力。利用好多媒体组织体育教学是可行和完全必要的。     

蕴含K_(1,5)+P_2可图序列的刻画

对于给定的图H,如果度序列π有一个实现包含H作为子图,则称π是蕴含H可图的.考虑了下述经典Tur偄n型极值问题的变形:确定最小的偶整数σ(H,n),使得每个满足σ(π)≥σ(H,n)的n项可图序列π=(d1,d2,…,dn)是蕴含H可图的,其中σ(π)=∑di from i=1 to n.并在此基础上刻画了蕴含K1,5+P2可图序列,确定了当n≥7时,σ(K1,5+P2,n)的值.关键词:图;度序列;蕴含K+P可图序列     

论拓扑Boole格的连通性

本文将拓扑空间上的连通性推广到一般拓扑Boolean格上,从而否定了文献[2]里提到的一个猜测。