重言式 การใช้

• 某些命题对于变元后的任何一种真值状况，它均为真，这样的命题称为重言式。
• 逻辑系统中的广义重言式理论
• 逻辑系统中重言式及广义重言式的关系
• 泛逻辑的基本形式系统中的广义重言式理论
• 基于零级泛与运算的泛逻辑中广义重言式理论
• 扰动模糊命题逻辑的代数结构及其广义重言式性质
• 二、一类格值逻辑系统中的重言式和逻辑公式的神经网络计算1 、重言式在逻辑系统的应用中起着重要的作用。
• 本文分两种情形b一0与p 0 ）研究了系统lp与其三元子代数及经典二值系统q之间（广川重言式的关系，指出在系统lp中广义重言式是可判定的
• 在可嵌入性的保证下，当一个公式对所有的某种线性代数系统是重言式时，其必定对所有的同种代数系统是重言式。
• 给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法，实现了利用计算机对有限多个命题公式的真值表的直接计算和输出，以及对一个命题公式是重言式、矛盾式或可满足式的机械判定。
• 本文的工作是在徐扬教授、秦克云教授等研究成果的基础上，对格蕴涵代数的性质、结构、格值命题逻辑系统中的重言式、自动推理方法、格值命题逻辑系统等进行了一些研究。
• 1997年，王国俊教授基于蕴涵算子r _ 0提出了修正的kleene系统，又于1998年引入了广义重言式的概念，对修正的kleene系统中的广义重言式类进行了深刻而细致的讨论，建立了广义重言式理论，为模糊逻辑提出了新的研究方向。
• 本文还在h _系统中引入了带参数的非运算，较细致地研究了多值系统的子代数理论，以为赋值域建立了f ( s )中重言式的分类定理，并将广义重言式分类定理推广到系统h _ ( 0 1 )中。
• 紧接着，引入了蕴涵算子同构的概念，并对伴随情况下t -模同构与蕴涵算子同构之间的关系进行了讨论，初步研究了同构的蕴涵算子对-重言式类的影响，得到了关于系统的广义重言式分类定理。
• 本文分析讨论了基于格蕴涵代数直积的格值逻辑系统中的-重言式和f -重言式，作为两个实例，详细讨论了两个格值逻辑系统l _ 4p ( x )和l _ 6p ( x )中的重言式和f -重言式的结构。